Adding Standard ML setup