Bugfixes. Add > operator. CArgs cleanup.

Fixed a few small bugs, for missing pattern matches.

Added > operators where needed.

Added code to InsertMembers that will propagate properties from global declarations to call sites.
(For CArgs, Error, etc) And removed the corresponding code from CArgs.
Merge branch 'master' of https://github.com/DaMSL/K3-Core