Some experiments with algebra based development & property based testing