Make all EOFs eqv to each other
Distinguish between input & output ports
Rename readProc & writeProc to readPort & writePort
Include FilePath when showing ports