fixes for Murali for his SPLASH demo and class

1) Added missing uses items
2) Added numbers 0-9 in Integer_Theory
3) reformatted the tabs in the file
4) Changed "Length(Q) /= 0" (ProgramOpExp) to "Is_Not_Zero(Length(Q))" (ProgramParamExp)