create the TypeDefiner