should we also call withDefaultValue for the ModuleOption here IF there is a colon (thus indicating that a default value has been provided on the RHS of that colon)?