Simple pi-less dependent types implementation Pi/forall implemented with lambda. Going to be used for subtype playground.