Faithful and complete implementation of the Standard ML
