more algebra tests: added type-safe abstract operators