Superposition: Types And Induction