Fixed #57 Certain typechecker errors get swallowed silently