Type VALSYNTH

This type of GI is identical to the type SYNTH. The differences are that it must declare the type of the result and that it can not invoke an operation that could change the state of the application.