An almost good load file except for the evaluator is still broken because the generics is different.
Redefined defhandlers in interpreter to take exactly the same number of arguments as is said in the make-generic-operator to make the propagators generic handler happy.
1) merge. 2) changed load file to now reference type-inferencer.