Add Type checker for Action and MemberSelection
Currently in the validator, we have type checker for equality and inequality. For Action and MemberSelection, we have multiplicity checker but no type checkers.
We need to check that Action's target and argument are of compatible types, that MemberSelection's receiver and argument are of compatible type for StaticMethod members, and that the receiver is of compatible type with AssetTypeFeature members.