Discovering Abstract Algebra with ISETL