File type

A file is exactly like a struct when in memory. The difference is in storing it on the filesystem, where a file gets an addition 64bit fileId assigned.
On the filesystem, files can only be stored in files and buckets.
No initialization required.
File literal.