Use isNT twice
Check if data type constructors are in scope
Also replace stuff in the case scrutineer
Support tuple tycons (assume always in scope)