\chapter{Prototype}
        Choice of Haskell
        Core - description of the language (appendix?)
	Stages (-> Core, Normalization, -> VHDL)
        Implementation issues

        Haskell language coverage / constraints
                Recursion
                Builtin types
                Custom types (Sum types, product types)
                Function types / higher order expressions

