Debugging for the type token construction