List.:: added in library
Update project options, partly for Eclipse
MethodLifting compatible with Scala-legal printing
Introduce scope information in Definition
Pretty printing fixes/improvements
Bug fix in CodeGeneration
Enhance premap, add applyOnFunDef
RestoreMethods after they have been turned to funs
File output a a separate phase
test packages compatible with Eclipse/scalaTest
Hard-code file directories for testing in eclipse
Revert to non- case class fundef
Extract fields
Fields -> methods, plus test
Fix handling of annotations
Add restoreMethods to the test pipeline
Helper methods for fields & print them correctly
Refactor accessor symbol discovery. Rm temp. test
fields for objects
Fix faulty identifier-to-operator