Some JVMS 4.7.9.1 restrictions for signatures are missing for the signatures constructed through factory methods. For example, you can construct classes with `[` or `;` in their names, and method parameter types or array types that contain void. We should fix these holes in our model before they are more widely used.