Test some type properties