Allow [where con] to descend within submodule structure; open submodule constraints while checking later signature items

open Metaform.Make(struct
                       val names = {A = "Tic", B = "Tac", C = "Toe"}
                   end)