[Feature Request] Allow `find :` without specifying the abilities

[tankorsmash]

It would be nice to be able to do a find : without specifying abilities.

I was trying to understand how to do file IO, and found io.openFile, which returns a Handle. I ran find handle text to try and figure out how to manipulate a Handle at all, and scanned for something in the many matches but nothing stuck out. Then find : Handle -> Text came up with 0 results, and as well as find : Handle -> a.

The answer (I think) is io.getLine: .base.io.getLine : Handle ->{IO, Exception} Text, but without knowing the abilities I was looking for as a beginner, it was hard to find.

@rlmark on Slack pointed out that if the abilities are not material to the operation, they could be omitted. (find : (a -> b) -> [a] -> [b] returns .base.List.map : (a ->{𝕖 } b) -> [a] ->{𝕖 } [b].