[Typing-sig] Re: Towards statically checked ORM projections