Create two artifacts

[mernst]

This package should create two artifacts:

• qualifiers, which need to be on the classpath since users may write them in source code
• the checker, which is only needed when a user compiles their code with pluggable type-checking