Framework and algorithms for implemental symbolically-defined geoscientific models and related machine-learning algorithms ...