TOWARDS A COMPREHENSIVE FRAME FOR THE USE OF ALGEBRAIC LANGUAGE IN MATHEMATICAL MODELLING AND PROVING