Overhaul errors for invalid types #345
Description
It should probally show the name of the type and the path to where it was defined (cause type names can be duplicates).
Right now the errors messages are super incosistent (refer to the unit tests to see).