cpsa-4.4.4: tst/expand_shapes.tst

(comment "CPSA 4.3.1")
(comment "Extracted shapes")

(comment "CPSA 4.3.1")

(comment "Expanded macros")

(herald expand (expand) (comment "test macro expansion"))

(defprotocol expand basic
  (defrole init
    (vars (t text) (k skey))
    (trace (send (enc t k)) (recv (cat t k)))))

(defskeleton expand (vars) (defstrand init 2))