Spec tests for compound type declaration