Implement type safe observables for C

[terfloth]

Tasks:

• update the code generator based on the reference implementation
• Extend generator for C domain to include type declarations
• Define how to handle pointer values
• Extend generator for C domain to include required definitions