Fixed minor typechecking bug (and 1 broken test case), added support for -> reference member access,
debugged reference subtyping checks.
Changed WyScript syntax to have Whiley style function declarations, updated test cases to account for this.
Merge pull request #20 from DanielJCampbell/master

Fixed minor typechecking bug (and 1 broken test case)