start updating hol syntax to use mlstring

haven't updated semantics or monadic