Fixed some warnings
Started DatalogC code
Type signatures
Datalog parser testing
Removed useless file