How mainstream are type theories?