fixed my fix, mostly
changed freeVarNames to take a predicate, used this to mix MH for non-enumerable erps in STkernel