allow non-record types at top level

[rogpeppe]

Currently the top level type for generated code must be a record. It would be good if it could be other types too (most importantly a union type). The main issue is how the generate command line should work for this.