Conditional module imports

[JukkaL]

It would be useful to be able to import modules conditionally. Here is an example:

try:
    import _thread
except ImportError:
    import _dummy_thread as _thread

To implement this we would probably need union module types and the ability to infer them in cases such as the above.

[JukkaL]

We are using #649 to track this now.