allow (m expr-or-op ... : type)