repository for Mars (GSoC 2014, reflect-based tree typechecking)