bsongen: basic tests
bsongen test: simple top-level type