upgraded fixpoint functions (fixpoint, .fixfirst, hfix) for static transport overhead (by simple use of indirection).
closes #21