Look through type synonyms

Both when creating contexts and when looking up Rust types from Haskell types, we should expand out Haskell type synonyms. The arguments against doing this are:

  * we have to redo some work GHC's typechecker is doing 
  * there is asymmetry: the Rust side doesn't support type synonyms