Fixes #11: Added types to typechecker's error messages