FunN-Types werden nach RefTypes mit FunN$$ nach Unifikation zurueckkonvertiert.
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
modified: test/bytecode/javFiles/Faculty.jav
modified: test/bytecode/javFiles/Lambda.jav
modified: test/bytecode/javFiles/OL.jav
modified: test/javFiles/Lambda.jav