Initial commit
v0.1.0
Implemented versioning option
Added 'defn' theorem env
Added greek letter variant swaps
Added \nothing alias for \varnothing
Modified contraction macros for anh/crt
Added ceiling + floor