"git@i10git.cs.fau.de:software/pairs.git" did not exist on "1babdbdc5803dc012c13d98eed4a61c884265059"
This is an umbrella MR combining a few small changes:
Constant inside of an untyped ConstantExpr was encountered, the typification used to fail (see new test).test_typify_integer_binops now that arbitrary expressions can be deferred.