declared types with definitions. Also, fixed some of the logical functions to say their arguments were integers, not T.