use `def` instead of `fun` for predefined functions descriptions in lang spec;
use `def` instead of `fun` for predefined functions descriptions in lang spec;

ScorexFoundation/sigmastate-interpreter,ScorexFoundation/sigmastate-interpreter