Add design notes about function reification and currying