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

fun other () = return <xml>Hi!</xml>

fun main () = return <xml>{[Basis.url (main ())]}, {[url (other ())]}</xml>