Added a debug module.
Some work on verifiying qualifiers.