Add well-typed interpreter without unitTestFac which doesn't compile.