Changes for typechecker change that makes InitializerParameters merely hidden Parameters, not ValueParameters.