refactor: move methods re beta reduction to BetaReduction.pm6 (thereby fixing bug: beta-contracting a lambda means beta-contracting the body)