Initial work on reintroducing old-style polymorphism for compatibility (the stdlib does not compile entirely).
Properly reinstate old-style polymorphism in the kernel and pretyping/retyping.
TODO fix interface on knowing_parameters to avoid useless array allocations.