Fix TODO in example/core/typeclass
Add the Orderable type class.
Add note about unit testing List instances.
Type: remove lambdas to workaround clang bugs.