Revert change to ignore trackedness/dataness in unification

[krame505]

The check for whether a nonterminalType is data and whether it is tracked are disabled in #773, to permit changing the dataness/trackedness of types referenced in the Silver compiler. This should be reverted once we are done making changes for these types.