Allow object safe traits to access associated types.
Teach `project` to project associated types out of object types.
WIP -- astconv -- missing mut (HEAD^^, I think)