Moved extra-built-in to examples and added missing constructs.
Added example for variable types and using entities from imported modules.
Enabled desugaring for default imports again.