Update TypeOperations.java