Work on the prototype typer: progress on modular interface for heuristics, renamed things, moved files, fixed tests.
To be merged ASAP to avoid conflicts (many files moved and lots of code changed due to functors and renaming)
Edited by Suzanne Soy