Unused macros are remarked.
ttype macro to TValue::type
ttypenv to TValue::typenv