Optimize allows in shallow morphs

[ssalbdivad]

E.g. for match, we shouldn't need to create context for the valid pass just because there are morphs since the morphed data at the top-level (not always the case if keys include deeper morphs, but that can be checked).

This would make case checking much faster.