The SLIME backend for ProjecturEd