Got rid of new scanning programs from officialTag
Changed names of arguments for higher order terms to be more regular