work towards updating semantics for mlstring
finish getting semantics to work with mlstring