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

fun main n s = return <xml>{[n]}, {[s]}</xml>

val shadow = return <xml>You found me!</xml>