Interpreter for functional pure type systems.