This produces valid C code in a header file and also provides an INTF
macro which makes it much less obtuse to call the various functions to
set and unset bitfields.

This helps to catch bugs in the compiler, specifically ones related to
mixing up bits and bytes.

There is a problem where I'm mixing up bits and bytes. I think I'll try
to resolve that using more type-level constraints.

Big change. Implements qualification, which separates the qualification
concerns from the ConsistencyCheck phase.

I'm getting close to implementing a backend.

As opposed to the original 'Annotated' data type.

Import statements are fully implemented including compiling to an
interface file for faster compilations.