+ Added type/1, to use it instead of regtype/1 in some cases
- Now det/1 don't check for exceptions being thrown
Enabled predicate locator in ctchecks
Merge branch 'master' of https://github.com/edisonm/rtchecks