HoTT worksheet - stopped to correct application when not in domain.
Domain checked before function applications.
HoTT tested up to Modus Ponens - works except for inner variable clashing
with outside.
Should use new object as variable in lambdas always.