Added Statements#statement and overrode it in Program.
Forgot to alias to_s and to_str.
Added Clauses#clause for adding arbitrary clauses.
Documented #clauses.