Handle Arg Ref Permutation
Support Touches Without Interactions

- Propagate various members from extended classes.
- Guard findSuperClassMethod further.
- Directly call utility method for type conversion, when primitive.
- Temporarily fix the namespace collision rejection of classes.
- Refactor the scope check to be easier to read, and to throw an error
for an unknown.