works for case and abstract classes

ParseMe.scala

src/funcheck/CodeExtraction.scala

src/funcheck/Extractors.scala

src/purescala/Definitions.scala

src/purescala/PrettyPrinter.scala

src/purescala/TypeTrees.scala