Added Algebraic data type explanation.

Added tree definition and algebraic definition starter.