add data constructor representing an empty tree, and adding match cases for empty tree for funcs.