Fixed all outstanding type issues. Operators are correctly converted now ([] -> getelem, () -> call) and all types are correctly converted. The program now compiles but fails to link since many references are made to C++ names but C linkage are required.
The generated C headers compile and link now. Use the makefile to test, cabal still insists on providing gcc instead of g++ during configuration.