Support struct types

[elefthei]

Should be:

Coq struct type declarations -> C struct type declarations

• accessor functions