Made the examples actually run under EX2. Also fixed an error with not equal for extended types.

Logger console now writes out more information about errors, and has more formatting for both error tests and failing tests even in quiet mode.