Describir: Independence theory in combinatorics