Improve internal type checker error messages.
Realised that this should be an error.