Better includes (e.g., if can't find .fpy then assume .py exists; search multiple directories, etc.)
Monads - very important. At least an IO interface with stdin/stdout.
Ideally, some sort of non-functional representation where new types (probably monads) can be defined for file IO, networking or anything that can't be represented functionally.