Added API and function definitions for LowerGamma

TODO:
* is_canonical
* lowergamma
Added simplification of `lowergamma`. Added tests