added support for defining and using carrier sets, dummy variables and using free variables in transient predicates
added support for event indices and checking for variable scopes
updated the todo list