Remove unnecessary symbol from syntax.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Add 'theorem' keyword.

Signed-off-by: Austin Seipp <aseipp@pobox.com>