PiTyp, FuncTyp equality changed - hopefully more efficient.
PiTyp, FuncTyp equality changed - hopefully more efficient.

siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround