Added new files
Fixed syntax error
Removed innerprod op substructure
Fixed equality rules.