Intermediate commit.

Started work to support algebraic data types in Floha expressions.