moving Reftable into Fixpoint.Types