Extensible ML programming language