core / init.meta.has_reflect
has_reflect α lets you produce an expr from an instance of α. That is, it is a function from α to expr such that the expr has type α.
Instances that [derive] depends on. All other basic instances are defined at the end of