Pure lvar.
Effect signatures for MaxPosInt.
Effect signatures for Counter.