Rename "defaultValue" --> "typeAndDefaultValue" to be more precise.