> I really wish I could just define my scheme, tables, functions, triggers, policies etc as typescript, then have migrations generated from that.

I've recently been using the Django ORM, which automatically generates migrations, and it is absolutely awesome.