add procedure,goal,global rules to TypeSystem