Artifact for HCVS 2020

This is the implementation artifact of the article "The Extended Theory of Trees and Algebraic (Co)datatypes" (https://arxiv.org/abs/2005.06659) to appear at HCVS 2020.