[Typing-sig] Towards statically checked ORM projections