Added sources to type theory.