pyon: add file I/O functions
language/core/kernel: support return values