Updated definition for 'types'