Fixed an error that caused expression structure not to be taken into account 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.