BROKEN COMMIT: Started fixing capitalisation errors thrown by CCaml