Add missing #include.
Fix 'show' test.
Remove redundant newlines in C output.
Enable more passing tests.
Add pattern matching on 'choice' values.
Implement one-branch pattern match functions.
Enable 'Imported' test.
Fix 'hello-kitten' test.