consistent formatting
invalid use afer move
return value_type by ref or const-ref from top()
removed pointless test MovesValues, because movement cannot be verified
removed typed test for value_type bool, int is sufficient