Fixed typo in commented-out code.
Added the Ord type class and the built-in instance signature for Int.
Removed GHC-style names of built-in type class instances from the built-in functions list.
Bugfix: built-in operators with dictionaries are now translated correctly in the Core back-end.