Added generation of typing axioms for the generated Context