Use longest-match to ensure constructor application is prefered over juxtaposition with bracketed terms
Use longest-match to ensure constructor application is prefered over juxtaposition with bracketed terms

metaborg/nabl,metaborg/nabl,metaborg/nabl