Monoidal Weak Omega-Categories as Models of a Type Theory