making Reify compile in a hacky way.
and make it compile in proof general.