Fixed an error that caused expression structure not to be taken into acc...

...ount when applying type theorems (i.e., binding expressions were mostly ignored).  Fixed an error that caused new relationships to overwrite existing ones between nodes in the type graph.