refactor syntax-type schema, object, & reference; refactor type {environment,map} functions