October 8, 2015 studium tu-darmstadt A Language for the Specification and Efficient Implementation of Type Systems Master Thesis