Type inference can now build type classes out of calculations and set the class type already by calculation operators. Next step: supplier lookup should get types only of this class type for the open vars in the calculation