Logic for x * 0 = 0
Updated readme with new syntax
Added a guard to resolve

- Added so connectors could trigger resolve upon connecting. Probably
  not needed.
Language working with constants
Reorganization and correction of some defunct tests