Remove spurious Message that causes compliance issues.
Update copyrights, fix public/private markings.
minor comment fixes
remove EXTRACT_OP as a special-case in typechecker
note about rewriters in theoryskel readme
clean up type rule for bv extract op
typo
spacing
Add a checkTimer for arithmetic.