Adjust normalization and valuation (and repr) in view of discussion at issue #17. Added doctests as examples.