Method brace

src/main/java/wyc/util/ErrorMessages.java:556–562

(Type t)

	}

	private static String brace(Type t) {
		if(t.shape() < 2) {
			return "(" + t + ")";
		} else {
			return t.toString();
		}
	}

//	private String foundBindingsString(Collection<? extends Binding> candidates) {
//		ArrayList<String> candidateStrings = new ArrayList<>();