Provides classes for modelling interactive systems. To Do:
Hide int[] or boolean[] in IndexSet class, with lazy conversion of representation.
Rename '...ForMachine' methods.
Put out of bounds exceptions on all methods with index arguments.