test methods, fix stupid arity problem
Merge branch 'ann-check' of github.com:brownplt/pyret-lang into ann-check
parsing for provide-types