fix scope of type-abbreviation expansion
in type error, share context for '_a for printing conflicting types