functor (S : Surface) (L : Lookup->   sig     val expand : 'Kwmacro.func -> 'L.table -> '-> string -> string   end