Some more fixes for the alias type
Marked spec as pending