I'm trying to figure out how to write RLS in Typescript (using plv8 and Introspected types). I think it would improve the developer experience to be able to write RLS with type support in Typescript.