Use struct field labels in generated code.

Fixed #45.

Add a test case to confirm signals with states can be ignored.

Fixed #15.