Add rudimentary tests for Basics
Add tests that catch #772
cosmetic: match indentation of other cases
cosmetic: use qualified imports much more
Fix #772, make case expression variable names safe