Radical and Type Theories (1832-1850)