Improved definition of "expanded term definition"
Minor improvements (Specifying the Type)