Added tech report.  Changes to semantics section.