printArray and Print construct takes a type.
removed commented old code from Gen.hs
mapP takes a IndexArray to Program argument.
mapTest rewritten using new mapP combinator. renamed example to exampleFold and exampleMap.