multivariate polynomial rings (locale version) - unfinished