Refactor Semant.hs

- simplify the body of trexp A.OpExp
- must_not_reach function to replace undefined
shell script to run tests
trexp A.RecordExp refactored.