get rid of RefTypes
totally clean RefTypes
minor
Merge pull request #261 from ucsd-progsys/no_ref_types

Delete obsolete RefType