[standard-ml/en-en] Add more parts of the language

This fixes are few minor issues and adds exceptions and infix functions.