Correct some bugs in EOF.jl; Provide a basic type for areas