Replace naked string concatenation with StringBuilder.
Add a test for importing quickcheck names.