unit testing: simplify stream type construction
implement operator "^" (power)