type properties and specs