prototype: Remove Functor/Monad constraints from IsTerm...

...and always reduce to whnf when viewing.