Added first implementation of range annotations into forge (won't work yet - lost during transformations). Modified behaviors to be able to be more easily coupled with inverse behaviors