See comments

Fixed bug in checkTypes
Worded on BadTest