Barf: A Recursive Foundation