Literature survey on implementation techniques for type systems