Handle file:read_file/1 for an empty file

The file reading logic returned an error when
reading an empty file.

With this fix Erjang can run elixir+weber!
Make the erlang:'div'/2 BIF return more specific type

This just improves type inference a tiny bit.