A interactive tutorial / evaluation of RelAlg.js