Even more principal typings for Java-like languages