M-string theory