A Language for the Specification and Efficient Implementation of Type Systems Published on 8.10.2015 Master Thesis studium tu-darmstadt