Created boilerplate ComputeConstants operation.
Assert on constant declarations in the C generator.
Automatic typecasting needs different checks.