Implement logic expressions in C

WARNING: this branch is still a WIP