Fix start&top implementation in typechecker#2551

DavyLandman wants to merge 7 commits intomainusethesource/rascal:mainfrom

fix/start-symbol-issue-2496usethesource/rascal:fix/start-symbol-issue-2496Copy head branch name to clipboard