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

val y = []

type foo = int
val z : list {F : foo} = y