simplify interface into type inspection by getting rid of magic
more array functions; move folds out of main and into arrays module
oops, get rid of misplaced zip; clarify interface of object module: functions for dealing with objects, not for prototypes and types