Concept & and provides

[mrkmarron]

Using and & type in the provides type list does not correctly split the types out.

entity E provides A&B {
}

Results in an error.

This should be semantically equivalent to:

entity E provides A, B {
}

The provides checking code needs to do this expansion when it is also resolving any guard conditions.