seems like we are able to check tree TYPES, have not yet implemented degree checking