public ResolvedTypeX resolve(TypeX ty) { return resolve(ty, false);
public ResolvedTypeX[] resolve(TypeX[] types) { int len = types.length; ResolvedTypeX[] ret = new ResolvedTypeX[len]; for (int i=0; i<len; i++) { ret[i] = resolve(types[i]); } return ret;
    public ResolvedTypeX resolve(TypeX ty) {    	return resolve(ty, false);    }