Add case for BoolLit in toFOAS'.
MaybeNF changes.
Add type annotation on NewArray in HOAS.
Add recursion combinator.
Forgotten part of MaybeNF-commit.