Implement more reduction rules

Refer to the Java Slides for more Information