Change behavior of wildcard syntax

This is basically the old behavior from before
the scalarize changes, and I think it makes more
sense.  Also added more compliance tests.