Fix inst of RefHigher
Fixed a bug
Rename Types::Complex to Ref