Block Objects: Specification

TODO:

• Write a specification with all the gory details.
• What about pure versus impure; corner cases void (^foo) (void) in the pure cases?