Scala System F Compiler (MSc Individual Project)