Added Terms.hs and moved all of the auxiliary helper functions for terms in there. Almost finished writing isProductive, but one of the tests is failing.