Started the BitRepr for algebraic types.

mapA and zipWithA compile, foldA does not because of incomplete BitRepr for algebraic types.
All three combinators from FPrelude typecheck.