Add Expression to_unicode and to_latex methods
Add base to_unicode/to_latex abstract methods
Miscellaneous picosat extension cleanup