More human-friendly error messages and customizable type names