Added bit vectors to the C backend

Solves #1441 by adding support for bit vectors to the C backend.