public Type getHint() {
		Type bottomHint = bottomType.getHint();
		Type topHint = topType.getHint();

		if (topType == tNull && bottomType.equals(bottomHint))
			return bottomHint;

		return topHint;
	}