See comments

Added a getter for v1
Fixed the unary incr. It’s really easy since we only use v1 for the
incrementing and decrementing.