more subtle loop examples; tweaking getPropArr

- added that a.length returns a (>= v 0) and that (>= (len theArr) 0)
- added if/then/else syntax in formulas