Cleaned up `File.__init__`, added length attribute.