addTypeclassInstances can now throw scope error
addTypeclassInstances can now throw arity error
addTypeclassInstances illegal parameter tests