HM2SystemF hernoemd naar AlgorithmW.
algorithmW gewrapt in type-inference functie. Module toegevoegd.