evolve some types to prepare for defaultMain