Added subtyping. Cleaned up.
Merge branch 'redex' of https://github.com/jonahkagan/doof into redex