Remove instance Reflect_default

Remove instance Reflect_default because it was preventing instances
of SemiReflect from working properly with consider.