fixed a bug. (local names in pattern matches were generated incorrectly.) moreover, maybe-fixed a maybe-bug. (modulenormalizer garbled the type names in a way i did not understand. most important: type checking failed on obviously correct expressions.)
included an Option data type and a error-function that can be used to stop program execution.