;load the generated flavor definitions and pretty printing methods
(load 'environment)
(load 'user-types)
(load 'p)
(defvar *head*)