A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi