+ Add PropertyQuantity to type system