prototype: Better handling of blocked terms.

Now things can be blocked on J, and terms can be blocked on
metavariables impeding reduction in subterms as well.