;;;; some private types that we use in defining the standard functions,
;;;; or implementing declarations in standard compiler transforms
;;;; some private types that we use in defining the standard functions,
;;;; or implementing declarations in standard compiler transforms