Daniel extends definition to "non-expression" constructs and applies it to all currently know places of the library specification