Move parameters to module level.
Move parameters to module level.

All definitions in this module depend on the parameters {B} and
{C} which never change inside this module. So it is easier to
parameterize the whole module instead of each separate
definition.

Old-commit-hash: 1303320f48d486d11152713c604275c2c7bcdc18

inc-lc/ilc-agda