Kurze Doc für Codegen und Typcheck...