Describir: Theory of group representations