Describe the bug

The type of start symbol declarations is not correct. Instead of start[A], values get the type A.

To Reproduce
(changed as corrected by @jurgenvinju here)

import lang::rascalcore::check::tests::StaticTestingUtils;

test bool startSymbolTop() = checkModuleOK("
    module StartSymbolTop

    start syntax A = \"A\";

    void main() {
        start[A] sa = [start[A]] \"A\";
        A a = sa.top;
    }
");

Expected behavior
The test above should succeed.

Desktop (please complete the following information):

• Context: Eclipse plugin, Commandline REPL
• Rascal Version: 0.41.0-RC74-SNAPSHOT (commit 6cfa756)