Replace the IsRec data type with a synonym for Bool to eliminate pattern matching on it