Adds theorem and proof construct

[nskh]

Replaces https://github.com/hazelgrove/hazel/pull/1263.

In-progress PR to add a theorem keyword in the style of let-equals-in to Hazel.

Based on stepper-rewrites this time.