Rename map_bottom_up to map_top_down - as that's what it is! Oops.
Make pattern aliases work.
Add a function for Prolog-compiling a file.
Fix bugs in Prolog generation.
Add support for higher-order functions and alias patterns.
Make the test module more taxing.