Seol mar théacs é seo: Learning abstract algebra with ISETL