Added generation of:
1) map type (e.g. map nat to nat)
2) maplets (e.g. 1 |-> 2)
3) map enumerations (e.g. { 1 |-> 2, 3 |-> 4} )

to be used in generation of sequence modifications. The commit also contains some initial work on sequence modifications.