Remove the AssocSpace
Encode the TypeScheme for associated types
Add a test case using associated types cross crate. Fixes #18048.