Rewriting HoTT to avoid inner classes
Evolver, basic parser working; should make substitution and lambda-application not lose type info