Are there any traitlet types left that don't allow None? If not, should we just fold the implementation into `TraitType`, so we're not adding another level into the class hierarchy?