fixed several bugs I didn't see comming in the flat universe stuff, and everything works fine on the examples now, with the domains of variables 100 times smaller