Issue #1182: Fix tests.
Fix #1182
Issue #1182: Tests for 'of' operator and (super of Supertype) special case.
Issue #1182: Extra tests for (super of Superclass) and (super of Superinterface), plus update the .src