Alice ML version 2.0