MeTTa MOSES Reduction

Sample reduction functions for boolean algebraic expressions in MeTTa.