tweaked the the creation of static array facilities in postArrayTy in preprocessing to use the constructor directly -- culls some code and opens the door to a size reduction in FacilityDec
preparation for concept realizations
more documentation added to some of the absyn classes