removed unnecessary main package
resolved Step and Transform type errors
converted Tuple types to sized arrays
fixed Transform type errors
introduced Thunk type for func() Any
renamed Transform -> Morphism as this is more general
introduced type Transform for func(int) Any