Implemented unrolling annotations for times and for.
Implemented a better static evaluator for arithmetic.
Merge branch 'release' of github.com:dimitriv/Ziria into performance
Merge branch 'performance' of github.com:dimitriv/Ziria into performance