Algo_types -> Types