Added more TODO's
Began testing for LinearCongruence contstruction.