Update test.types.coral

Making the sample conform more to the current version of the Coral Language Specification