Revert "Merge branch 'master' of github.com:brownplt/pyret-lang"

This reverts commit 5bc75d5da1081dfe6dea3944421563e25b80401a, reversing
changes made to cb3c56a07d82c8d4d14e56a4edc0f7aa9e91053a.