extraction to Haskell

Simple extraction script for extracting syntax, horizon function, and
reduction semantics to Haskell.
result of extraction to Haskell

Edited by hand to remove superfluous definitions and to use a GADT for
environments.