added initial SML syntax definition