put a file header on Linear.Binary
re-export Linear.Binary from Linear