Useless final removed
Rename. INSTANCE -> DEFAULT in JetTypeChecker
JetTypeChecker refactored: duplicate methods replaced by instance management