type properties writing