Added idea of bootstrapping types.