Simplifying to single foldl implementation, using new head/tail.
Adding aliasing
More code, more tests; just starting to build this out.