完全β簡約

full beta-reduction

任意の順番で簡約する