Correcting compilation bugs and adding operation type verification in World.java
Adding PUSH as a textual and numeric argument command