echo more verbose, typo fix
Look for temporarily renamed types
Expect more types
Check implicit abstract types