Add simple prelude.
Resolve aliases when assigning types.