Added unit test for failed dereferences.
Added a unit test to confirm that tuple length subtyping is not permitted.
Added a unit test to show that record subtyping is acceptable.
Added a unit test to show that record subtyping fails when appropriate.