Generate symbols for type constructors. Fixes #10
More let-statements tests. Fixes #18.