Source code classifier refactoring

Please use member constraints with care. It's overkill for this case. You can work on `FSharpSymbol` and do type tests before invoking `IsMutable`.