More precise packable type definition: PACK can take contracts, thought it is not considered packable