Validating field, formal and method return types