simplified powerblock
adjusting documentation due to monomorphic '>'

still need to implement new assertions and comparisons for lists, etc.