add tests for generation of empty types

[petar]

Add tests for the corner cases of generating "empty" types where it applies:

• structure with no fields
• inductive with no cases
• union with no cases
• service with no methods
• tuple with no slots