Oreole.TypeSystem: provisional error handling