Updated copyright (#17), fixes #5

ControlRule is now a type of Rule with no conclusion.