get monadic functions working with mlstring

(have not updated their translation yet though)