Functions are first-class
Updated README