Override shen.pvar? with faster version

This makes prolog and typechecking considerably faster.