Re-enable typechecked types part of quasiquote test suite

It was accidentally disabled.
IntelliJ project files

Fixes compilation within IDEA. Allows compiling and running JUnit tests directly withing the IDE.
Merge pull request #3708 from lrytz/intellij

IntelliJ project files
Merge pull request #3686 from densh/topic/re-enabled-typechecked-types

Re-enable typechecked types part of quasiquote test suite
WIP: trying to apply the Literal-based singleton types commit by @paulp to the master.
Fix non-working things.
Update check file.
Problems with null.
Update the check file.
This is needed for the tests to pass.
Added a macro to materialize an inhabitant for the singleton type.
Added a test with the Ranged class mentioned by @non.
Add inhabitant to the bincompat whitelist.
Marked potentiall places in code where constant type folding and singleton type inlining might occur.
Inlining functions with singleton result type.
More involved example with Ranged.
Needed for the tests to pass after adding the SingleInhabitant
Checking for declared singleton type. Tests seem to pass, but the issue is still there.
Forward bincompat.
Another problem.