added more reduction rules, slightly advanced, more to come