Oreole.TypeSystem + Oreole.Error: refined the error messages a little bit