Beginning BitC v1 Specification

I'm going to see if we can manage to use blogger to support commenting on the BitC v1 language specification while it is in development.