value type defined