added test cases for type checker
1) various fixes to EasyTaintWrapper.java
2) added an option to explicitly model equals() and hashCode()
3) added some test cases for the EasyTaintWrapper