Remove acceptance tests that we don't plan to support for now.
Improve steps to better understand the nasty feature interaction.
Introduce AliasType.
Fix expectation feedback.
Fix a spec test
Fix Type#equals to take AliasType into account.
Use AliasType in compilation chain.