give the `Terms` parameter of `const` a default name `args` for induction
give the `Terms` parameter of `const` a default name `args` for induction

Old-commit-hash: 0657adc1ef2e2e51a3d863ac5d78085bd8913b08

inc-lc/ilc-agda