Fixed flaw with FC dependency by making FC equality always return true.
If any fc equality is needed just use FC' fc to convert. Fixes
idris-lang/Idris-dev#508