addTypeclassInstances extend tcis only check
Use properties rather than destructure for tests

Prevents the aforementioned silly mistake with tcons and dcons being
mixed up, etc. even being possible with no real expense of readability.