Allow instance Configured [a] without OverlappingInstances

This is an alternative for #7 which doesn't require the OverlappingInstances extension. It uses the standard showList trick.