Add bindings for numeric typeclasses

[jespercockx]

Currently we are missing support for the following classes:

• Real
• Integral
• Fractional
• Floating
• RealFrac
• RealFloat

For everything up to and including Fractional we could be able to give definitions on the Agda side (or steal them from the standard library). For the rest, we should probably just postulate them.

[ndcroos]

Hi, I'd like to work on this. Can you assign it to me, please?
Should a file be created for each of these numeric typeclasses, in lib/Haskell/Prim?

[jespercockx]

Thank you, assigned! I think having one file per typeclass makes sense, yeah.

[jespercockx]

Any progress on this @ndcroos ?

[ndcroos]

Hi, I haven't been able to make progress yet, my schedule has been pretty full. I expect to have more time starting early September, so I should be able to complete this then.
Thanks for your patience.