public BindingAnnotationTypePattern(FormalBinding binding) { this(binding.getType(),binding.getIndex());
public BindingAnnotationTypePattern(TypeX annotationType, int index) { super(annotationType); this.formalIndex = index;
	public BindingAnnotationTypePattern(FormalBinding binding) {		this(binding.getType(),binding.getIndex());	}