Add make targets for HPC.
Un-relativize undefined.h in good ol maint too.
[ refactor ] represent meta instantiations without the lambdas

This lets us perform instantiation using parallel substitution rather
than iterated beta reductions.
Merge remote-tracking branch 'origin/maint-2.4.2'