Provides support to use Java Generics overcoming the limitations of erasure. Based on Neal Gafter's Super Type Tokens.