add mcrl2, mlton, smalltalk, mit-scheme & spin