Added monster defstructure to the combat ACL2 file