This changes the trait encoding scheme to also use the generic encoding from !56 (merged) in order to handle type parameters and lifetime parameters of traits and trait impls correctly.
Along the way, this makes some more changes, such as:
refactor FunctionSpec so that we can intern it and create references
refactor spec parsing
defer normalization of types, as rustc's normalization can't deal with Polonius region variables in Alias
There are some things missing that will be fixed in a future MR:
correctly export the specifications of impls
correctly handle lifetime parameters in the translation
