Annotate several top-level functions

I went through the `src/Idris` subdirectory and added type annotations to almost all (~50) top-level functions which were missing them.