Add support in evaluate for builtin iterator types

[eb8680]

Blocked by #679

This PR expands evaluate to support traversal of instances of built-in collection.abc.Iterator types map, filter, enumerate, zip, reversed whose arguments contain Terms. It also supports range (whose constructor requires arguments to be fully concrete ints) and slice (whose constructor arguments can be lazy).