Fix a couple of bugs, disambiguate namespaces

The first commit adds some missing (==)'s and fixes a wrong type spec.

The second one makes is easier for the Idris beginner to just fill the metavars without having to disambiguate the namespace of some functions (like (+), which is defined in Fin and Classes; and the List ones, which are also available for Vect, Stream...).