Move ParameterMapAnnotationProcessor to the pmap package
Add two new standard contracts: @NonNegative and @Positive.
Refine parser & AST to the point where it gets *really* complicated.