Devel smt

Signed off contributors, added in copyright notice.

Added in names to the WyRL rewrite rules.

Added in code to qualify access to the empty set in the generated SMT-LIB code.