C backend: Fix exceptions propagation
C backend: Handle assignation
C backend: Handle let bindings in theories
C backend: Continue
C backend: Handle global let binding
C backend: Handle application in theories