diff --git a/.editorconfig b/.editorconfig
index b2f45b23ef..060f21b491 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -13,6 +13,7 @@ dotnet_style_qualification_for_field = true:suggestion
 dotnet_style_qualification_for_method = true:suggestion
 dotnet_style_qualification_for_property = true:suggestion
 
+dotnet_diagnostic.IDE0001.severity = warning    # Name can be simplified
 dotnet_diagnostic.IDE0002.severity = warning    # Name can be simplified
 
 # StyleCop: Special Rules
@@ -21,8 +22,6 @@ dotnet_diagnostic.SA0001.severity = none        # XML comment analysis disabled
 # StyleCop: Readability Rules
 dotnet_diagnostic.SA1118.severity = none        # Parameter should not span multiple lines
 dotnet_diagnostic.SA1122.severity = none        # Use string.Empty for empty strings
-dotnet_diagnostic.SA1127.severity = none        # Generic type constraints should be on their own line
-dotnet_diagnostic.SA1128.severity = none        # Put constructor initializers on their own line
 dotnet_diagnostic.SA1135.severity = none        # Using directives should be qualified
 
 # StyleCop: Ordering Rules
@@ -45,13 +44,8 @@ dotnet_diagnostic.SA1513.severity = none        # Closing brace should be follow
 dotnet_diagnostic.SA1515.severity = none        # Single-line comment should be preceded by blank line
 
 # StyleCop: Documentation Rules
-dotnet_diagnostic.SA1611.severity = none        # Element parameters should be documented
-dotnet_diagnostic.SA1612.severity = none        # Element parameter documentation should match element parameters
-dotnet_diagnostic.SA1615.severity = none        # Element return value should be documented
-dotnet_diagnostic.SA1618.severity = none        # Generic type parameters should be documented
 dotnet_diagnostic.SA1623.severity = none        # Property summary documentation should match accessors
 dotnet_diagnostic.SA1629.severity = none        # Documentation text should end with a period
-dotnet_diagnostic.SA1633.severity = none        # File should have header
 dotnet_diagnostic.SA1642.severity = none        # Constructor summary documentation should begin with standard text
 dotnet_diagnostic.SA1649.severity = none        # File name should match first type name
 
diff --git a/src/Common/AssemblyCommon.props b/src/Common/AssemblyCommon.props
index 43b7c1ecf6..670f98d7a6 100644
--- a/src/Common/AssemblyCommon.props
+++ b/src/Common/AssemblyCommon.props
@@ -18,6 +18,11 @@
     <WarningsAsErrors>3390</WarningsAsErrors>
   </PropertyGroup>
 
+  <ItemGroup Condition="'$(MSBuildProjectExtension)' == '.csproj'">
+    <PackageReference Include="StyleCop.Analyzers" Version="1.2.0-beta.321" PrivateAssets="All" />
+    <AdditionalFiles Include="$(MSBuildThisFileDirectory)\stylecop.json" Link="stylecop.json" />
+  </ItemGroup>
+
   <!--
     When DefineConstants receives a list with the semicolon escaped (%3B),
     like: SIGNED%3BTELEMETRY
diff --git a/src/Common/DelaySign.cs b/src/Common/DelaySign.cs
index a4cf6a944a..52ea7deb9c 100644
--- a/src/Common/DelaySign.cs
+++ b/src/Common/DelaySign.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 #if SIGNED
diff --git a/src/Common/SigningConstants.cs b/src/Common/SigningConstants.cs
index cd9b7b4575..4281d3f069 100644
--- a/src/Common/SigningConstants.cs
+++ b/src/Common/SigningConstants.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 internal static class SigningConstants
diff --git a/src/Common/stylecop.json b/src/Common/stylecop.json
index 403d4cd116..842a141412 100644
--- a/src/Common/stylecop.json
+++ b/src/Common/stylecop.json
@@ -5,7 +5,11 @@
       "usingDirectivesPlacement": "preserve"
     },
     "documentationRules": {
-      "documentInternalElements": false
+      "copyrightText": "Copyright (c) Microsoft Corporation.\nLicensed under the MIT License.",
+      "documentInterfaces": false,
+      "documentExposedElements": false,
+      "documentInternalElements": false,
+      "xmlHeader": false
     }
   }
 }
diff --git a/src/Documentation/DocumentationGenerator/DocumentationGeneration.cs b/src/Documentation/DocumentationGenerator/DocumentationGeneration.cs
index 3f6a434651..c73d0010de 100644
--- a/src/Documentation/DocumentationGenerator/DocumentationGeneration.cs
+++ b/src/Documentation/DocumentationGenerator/DocumentationGeneration.cs
@@ -75,8 +75,7 @@ public bool Transformation(QsCompilation compilation, out QsCompilation transfor
                 : null,
                 this.AssemblyConstants.TryGetValue("DocsPackageId", out var packageName)
                 ? packageName
-                : null
-            );
+                : null);
 
             docProcessor.OnDiagnostic += diagnostic =>
             {
diff --git a/src/Documentation/DocumentationGenerator/DocumentationGenerator.csproj b/src/Documentation/DocumentationGenerator/DocumentationGenerator.csproj
index a6e6b1893f..ebfa291211 100644
--- a/src/Documentation/DocumentationGenerator/DocumentationGenerator.csproj
+++ b/src/Documentation/DocumentationGenerator/DocumentationGenerator.csproj
@@ -20,7 +20,6 @@
 
   <ItemGroup>
     <ProjectReference Include="..\..\QsCompiler\Compiler\Compiler.csproj" />
-    <PackageReference Include="StyleCop.Analyzers" Version="1.2.0-beta.164" PrivateAssets="All" />
   </ItemGroup>
   
   <ItemGroup>
@@ -33,8 +32,4 @@
       <PackagePath>build\Microsoft.Quantum.DocumentationGenerator.props</PackagePath>
     </Content>
   </ItemGroup>
-
-  <ItemGroup>
-    <AdditionalFiles Include="..\..\Common\stylecop.json" Link="stylecop.json" />
-  </ItemGroup>
 </Project>
diff --git a/src/Documentation/DocumentationGenerator/DocumentationWriter.cs b/src/Documentation/DocumentationGenerator/DocumentationWriter.cs
index 6f104c3e77..228389a219 100644
--- a/src/Documentation/DocumentationGenerator/DocumentationWriter.cs
+++ b/src/Documentation/DocumentationGenerator/DocumentationWriter.cs
@@ -13,7 +13,6 @@
 
 namespace Microsoft.Quantum.Documentation
 {
-
     /// <summary>
     ///     Writes API documentation files as Markdown to a given output
     ///     directory, using parsed API documentation comments.
@@ -80,9 +79,7 @@ await this.TryWithExceptionsAsDiagnostics(
                 $"writing output to {filename}",
                 async () => await File.WriteAllTextAsync(
                     Path.Join(this.OutputPath, filename.ToLowerInvariant()),
-                    contents
-                )
-            );
+                    contents));
         }
 
         /// <summary>
@@ -109,7 +106,7 @@ public DocumentationWriter(string outputPath, string? packageName)
             {
                 this.OnDiagnostic?.Invoke(new IRewriteStep.Diagnostic
                 {
-                    Severity = CodeAnalysis.DiagnosticSeverity.Info,
+                    Severity = DiagnosticSeverity.Info,
                     Message = $"Writing documentation output to: {outputPath}...",
                     Range = null,
                     Source = null,
@@ -117,10 +114,11 @@ public DocumentationWriter(string outputPath, string? packageName)
                 });
                 if (!Directory.Exists(outputPath))
                 {
-                    this.TryWithExceptionsAsDiagnostics(
-                        "creating directory",
-                        async () => Directory.CreateDirectory(outputPath)
-                    ).Wait();
+                    this
+                        .TryWithExceptionsAsDiagnostics(
+                            "creating directory",
+                            () => Task.FromResult(Directory.CreateDirectory(outputPath)))
+                        .Wait();
                 }
             }
 
@@ -170,15 +168,11 @@ public async Task WriteOutput(QsNamespace ns, DocComment docComment)
                 .MaybeWithSection(
                     "See Also",
                     string.Join("\n", docComment.SeeAlso.Select(
-                        seeAlso => AsSeeAlsoLink(seeAlso)
-                    ))
-                )
+                        seeAlso => AsSeeAlsoLink(seeAlso))))
                 .WithYamlHeader(header);
 
             // Open a file to write the new doc to.
-            await this.WriteAllTextAsync(
-                $"{name}.md", document
-            );
+            await this.WriteAllTextAsync($"{name}.md", document);
         }
 
         /// <summary>
@@ -237,9 +231,7 @@ public async Task WriteOutput(QsCustomType type, DocComment docComment)
                             ? comment
                             : string.Empty;
                         return $"### {itemName} : {resolvedType.ToMarkdownLink()}\n\n{documentation}";
-                    }
-                ))
-            )
+                    })))
             .MaybeWithSection("Description", docComment.Description)
             .WithSectionForEach("Example", docComment.Examples)
             .MaybeWithSection("Remarks", docComment.Remarks)
@@ -247,16 +239,13 @@ public async Task WriteOutput(QsCustomType type, DocComment docComment)
             .MaybeWithSection(
                 "See Also",
                 string.Join("\n", docComment.SeeAlso.Select(
-                    seeAlso => AsSeeAlsoLink(seeAlso, type.FullName.Namespace)
-                ))
-            )
+                    seeAlso => AsSeeAlsoLink(seeAlso, type.FullName.Namespace))))
             .WithYamlHeader(header);
 
             // Open a file to write the new doc to.
             await this.WriteAllTextAsync(
                 $"{type.FullName.Namespace}.{type.FullName.Name}.md",
-                document
-            );
+                document);
         }
 
         /// <summary>
@@ -296,6 +285,13 @@ public async Task WriteOutput(QsCallable callable, DocComment docComment)
                 ["qsharp.name"] = callable.FullName.Name,
                 ["qsharp.summary"] = docComment.Summary,
             };
+            var keyword = callable.Kind.Tag switch
+            {
+                QsCallableKind.Tags.Function => "function ",
+                QsCallableKind.Tags.Operation => "operation ",
+                QsCallableKind.Tags.TypeConstructor => "newtype ",
+                _ => ""
+            };
             var document = $@"
 # {title}
 
@@ -305,15 +301,7 @@ public async Task WriteOutput(QsCallable callable, DocComment docComment)
 {docComment.Summary}
 
 ```{this.LanguageMode}
-{
-    callable.Kind.Tag switch
-    {
-        QsCallableKind.Tags.Function => "function ",
-        QsCallableKind.Tags.Operation => "operation ",
-        QsCallableKind.Tags.TypeConstructor => "newtype ",
-        _ => ""
-    }
-}{callable.ToSyntax()}
+{keyword}{callable.ToSyntax()}
 ```
 "
             .MaybeWithSection("Description", docComment.Description)
@@ -327,9 +315,7 @@ public async Task WriteOutput(QsCallable callable, DocComment docComment)
                             ? inputComment
                             : string.Empty;
                         return $"### {inputName} : {resolvedType.ToMarkdownLink()}\n\n{documentation}\n\n";
-                    }
-                ))
-            )
+                    })))
             .WithSection($"Output : {callable.Signature.ReturnType.ToMarkdownLink()}", docComment.Output)
             .MaybeWithSection(
                 "Type Parameters",
@@ -339,27 +325,21 @@ typeParam is QsLocalSymbol.ValidName name
                         ? $@"### '{name.Item}{"\n\n"}{(
                             docComment.TypeParameters.TryGetValue($"'{name.Item}", out var comment)
                             ? comment
-                            : string.Empty
-                          )}"
-                        : string.Empty
-                ))
-            )
+                            : string.Empty)}"
+                        : string.Empty)))
             .WithSectionForEach("Example", docComment.Examples)
             .MaybeWithSection("Remarks", docComment.Remarks)
             .MaybeWithSection("References", docComment.References)
             .MaybeWithSection(
                 "See Also",
                 string.Join("\n", docComment.SeeAlso.Select(
-                    seeAlso => AsSeeAlsoLink(seeAlso, callable.FullName.Namespace)
-                ))
-            )
+                    seeAlso => AsSeeAlsoLink(seeAlso, callable.FullName.Namespace))))
             .WithYamlHeader(header);
 
             // Open a file to write the new doc to.
             await this.WriteAllTextAsync(
                 $"{callable.FullName.Namespace}.{callable.FullName.Name}.md",
-                document
-            );
+                document);
         }
     }
 }
diff --git a/src/Documentation/DocumentationGenerator/ProcessDocComments.cs b/src/Documentation/DocumentationGenerator/ProcessDocComments.cs
index 5e4476f77d..abeb77a64b 100644
--- a/src/Documentation/DocumentationGenerator/ProcessDocComments.cs
+++ b/src/Documentation/DocumentationGenerator/ProcessDocComments.cs
@@ -3,22 +3,14 @@
 
 using System;
 using System.Collections.Generic;
-using System.Collections.Immutable;
-using System.IO;
 using System.Linq;
-using System.Threading.Tasks;
 using Microsoft.Quantum.QsCompiler;
-using Microsoft.Quantum.QsCompiler.DataTypes;
 using Microsoft.Quantum.QsCompiler.Documentation;
-using Microsoft.Quantum.QsCompiler.SyntaxTokens;
 using Microsoft.Quantum.QsCompiler.SyntaxTree;
 using Microsoft.Quantum.QsCompiler.Transformations.Core;
-using Newtonsoft.Json.Linq;
 
 using Range = Microsoft.Quantum.QsCompiler.DataTypes.Range;
 
-#nullable enable
-
 namespace Microsoft.Quantum.Documentation
 {
     /// <summary>
@@ -30,7 +22,8 @@ public class ProcessDocComments
     : SyntaxTreeTransformation<ProcessDocComments.TransformationState>
     {
         public class TransformationState
-        { }
+        {
+        }
 
         /// <summary>
         ///     An event that is raised on diagnostics about documentation
@@ -53,8 +46,7 @@ public class TransformationState
         /// </param>
         public ProcessDocComments(
             string? outputPath = null,
-            string? packageName = null
-        )
+            string? packageName = null)
         : base(new TransformationState(), TransformationOptions.Disabled)
         {
             this.Writer = outputPath == null
@@ -68,7 +60,7 @@ public ProcessDocComments(
             }
 
             // We provide our own custom namespace transformation, and expression kind transformation.
-            this.Namespaces = new ProcessDocComments.NamespaceTransformation(this, this.Writer);
+            this.Namespaces = new NamespaceTransformation(this, this.Writer);
         }
 
         private class NamespaceTransformation
@@ -78,7 +70,9 @@ private class NamespaceTransformation
 
             internal NamespaceTransformation(ProcessDocComments parent, DocumentationWriter? writer)
             : base(parent)
-            { this.writer = writer; }
+            {
+                this.writer = writer;
+            }
 
             private void ValidateNames(
                 string symbolName,
@@ -86,8 +80,7 @@ private void ValidateNames(
                 Func<string, bool> isNameValid,
                 IEnumerable<string> actualNames,
                 Range? range = null,
-                string? source = null
-            )
+                string? source = null)
             {
                 foreach (var name in actualNames)
                 {
@@ -101,8 +94,7 @@ private void ValidateNames(
                                 Range = range,
                                 Source = source,
                                 Stage = IRewriteStep.Stage.Transformation,
-                            }
-                        );
+                            });
                     }
                 }
             }
@@ -114,9 +106,8 @@ public override QsNamespace OnNamespace(QsNamespace ns)
                 {
                     // Concatenate everything into one documentation comment.
                     var comment = new DocComment(
-                        ns.Documentation.SelectMany(group => group).SelectMany(comments => comments)
-                    );
-                    writer?.WriteOutput(ns, comment)?.Wait();
+                        ns.Documentation.SelectMany(group => group).SelectMany(comments => comments));
+                    this.writer?.WriteOutput(ns, comment)?.Wait();
                 }
 
                 return ns;
@@ -135,10 +126,10 @@ public override QsCustomType OnTypeDeclaration(QsCustomType type)
 
                 var isDeprecated = type.IsDeprecated(out var replacement);
                 var docComment = new DocComment(
-                    type.Documentation, type.FullName.Name,
+                    type.Documentation,
+                    type.FullName.Name,
                     deprecated: isDeprecated,
-                    replacement: replacement
-                );
+                    replacement: replacement);
 
                 // Validate named item names.
                 var inputDeclarations = type.TypeItems.ToDictionaryOfDeclarations();
@@ -148,8 +139,7 @@ public override QsCustomType OnTypeDeclaration(QsCustomType type)
                     name => inputDeclarations.ContainsKey(name),
                     docComment.Input.Keys,
                     range: null, // TODO: provide more exact locations once supported by DocParser.
-                    source: type.SourceFile
-                );
+                    source: type.SourceFile);
 
                 this.writer?.WriteOutput(type, docComment)?.Wait();
 
@@ -178,10 +168,10 @@ public override QsCallable OnCallableDeclaration(QsCallable callable)
 
                 var isDeprecated = callable.IsDeprecated(out var replacement);
                 var docComment = new DocComment(
-                    callable.Documentation, callable.FullName.Name,
+                    callable.Documentation,
+                    callable.FullName.Name,
                     deprecated: isDeprecated,
-                    replacement: replacement
-                );
+                    replacement: replacement);
                 var callableName =
                     $"{callable.FullName.Namespace}.{callable.FullName.Name}";
 
@@ -193,20 +183,17 @@ public override QsCallable OnCallableDeclaration(QsCallable callable)
                     name => inputDeclarations.ContainsKey(name),
                     docComment.Input.Keys,
                     range: null, // TODO: provide more exact locations once supported by DocParser.
-                    source: callable.SourceFile
-                );
+                    source: callable.SourceFile);
                 this.ValidateNames(
                     callableName,
                     "type parameter",
                     name => callable.Signature.TypeParameters.Any(
                         typeParam =>
                             typeParam is QsLocalSymbol.ValidName validName &&
-                            validName.Item == name.TrimStart('\'')
-                    ),
+                            validName.Item == name.TrimStart('\'')),
                     docComment.TypeParameters.Keys,
                     range: null, // TODO: provide more exact locations once supported by DocParser.
-                    source: callable.SourceFile
-                );
+                    source: callable.SourceFile);
 
                 this.writer?.WriteOutput(callable, docComment)?.Wait();
 
diff --git a/src/Documentation/DocumentationParser/DocBuilder.cs b/src/Documentation/DocumentationParser/DocBuilder.cs
index 7085d4ac48..2f4a556101 100644
--- a/src/Documentation/DocumentationParser/DocBuilder.cs
+++ b/src/Documentation/DocumentationParser/DocBuilder.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/Documentation/DocumentationParser/DocCallable.cs b/src/Documentation/DocumentationParser/DocCallable.cs
index 8ecd08a5cc..c54e063f58 100644
--- a/src/Documentation/DocumentationParser/DocCallable.cs
+++ b/src/Documentation/DocumentationParser/DocCallable.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/Documentation/DocumentationParser/DocComment.cs b/src/Documentation/DocumentationParser/DocComment.cs
index cb7c442d63..862d12955f 100644
--- a/src/Documentation/DocumentationParser/DocComment.cs
+++ b/src/Documentation/DocumentationParser/DocComment.cs
@@ -4,7 +4,6 @@
 #nullable enable
 
 using System;
-using System.Linq;
 using System.Collections.Generic;
 using System.Collections.Immutable;
 using System.IO;
@@ -92,8 +91,7 @@ public class DocComment
         [Obsolete("Please use Examples instead.")]
         public string Example => string.Join(
             "\n\n",
-            this.Examples
-        );
+            this.Examples);
 
         /// <summary>
         /// A list of examples of using the item.
diff --git a/src/Documentation/DocumentationParser/DocItem.cs b/src/Documentation/DocumentationParser/DocItem.cs
index 43b71c9867..1115cda84a 100644
--- a/src/Documentation/DocumentationParser/DocItem.cs
+++ b/src/Documentation/DocumentationParser/DocItem.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/Documentation/DocumentationParser/DocNamespace.cs b/src/Documentation/DocumentationParser/DocNamespace.cs
index 5da2efccf2..de54e3e65a 100644
--- a/src/Documentation/DocumentationParser/DocNamespace.cs
+++ b/src/Documentation/DocumentationParser/DocNamespace.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 #nullable enable
diff --git a/src/Documentation/DocumentationParser/DocUdt.cs b/src/Documentation/DocumentationParser/DocUdt.cs
index 67f9f77aac..8a5509dbdb 100644
--- a/src/Documentation/DocumentationParser/DocUdt.cs
+++ b/src/Documentation/DocumentationParser/DocUdt.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.IO;
diff --git a/src/Documentation/DocumentationParser/DocumentationParser.csproj b/src/Documentation/DocumentationParser/DocumentationParser.csproj
index fc8e5f65de..895200b26e 100644
--- a/src/Documentation/DocumentationParser/DocumentationParser.csproj
+++ b/src/Documentation/DocumentationParser/DocumentationParser.csproj
@@ -9,7 +9,6 @@
 
   <ItemGroup>
     <PackageReference Include="Markdig.Signed" Version="0.20.0" />
-    <PackageReference Include="StyleCop.Analyzers" Version="1.2.0-beta.164" PrivateAssets="All" />
     <PackageReference Include="YamlDotNet" Version="7.0.0" />
   </ItemGroup>
 
@@ -22,8 +21,4 @@
     <Compile Include="..\..\Common\DelaySign.cs" Link="Properties\DelaySign.cs" />
     <Compile Include="..\..\Common\SigningConstants.cs" Link="Properties\SigningConstants.cs" />
   </ItemGroup>
-
-  <ItemGroup>
-    <AdditionalFiles Include="..\..\Common\stylecop.json" Link="stylecop.json" />
-  </ItemGroup>
 </Project>
diff --git a/src/Documentation/DocumentationParser/Properties/AssemblyInfo.cs b/src/Documentation/DocumentationParser/Properties/AssemblyInfo.cs
index 4f44fd476e..7663d6de68 100644
--- a/src/Documentation/DocumentationParser/Properties/AssemblyInfo.cs
+++ b/src/Documentation/DocumentationParser/Properties/AssemblyInfo.cs
@@ -1,6 +1,7 @@
-using System.Reflection;
+// Copyright (c) Microsoft Corporation.
+// Licensed under the MIT License.
+
 using System.Runtime.CompilerServices;
-using System.Runtime.InteropServices;
 
 // Allow the test assembly to use our internal methods
 [assembly: InternalsVisibleTo("Tests.Microsoft.Quantum.QsDocumentationParser" + SigningConstants.PublicKey)]
diff --git a/src/Documentation/DocumentationParser/Utils.cs b/src/Documentation/DocumentationParser/Utils.cs
index 21e6b69372..83041d546a 100644
--- a/src/Documentation/DocumentationParser/Utils.cs
+++ b/src/Documentation/DocumentationParser/Utils.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/Documentation/Tests.DocGenerator/DocParsingTests.cs b/src/Documentation/Tests.DocGenerator/DocParsingTests.cs
index 5825d6a6f3..41548e1da6 100644
--- a/src/Documentation/Tests.DocGenerator/DocParsingTests.cs
+++ b/src/Documentation/Tests.DocGenerator/DocParsingTests.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/Documentation/Tests.DocGenerator/DocWritingTests.cs b/src/Documentation/Tests.DocGenerator/DocWritingTests.cs
index df89132757..4868411a3a 100644
--- a/src/Documentation/Tests.DocGenerator/DocWritingTests.cs
+++ b/src/Documentation/Tests.DocGenerator/DocWritingTests.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/Documentation/Tests.DocGenerator/Tests.DocGenerator.csproj b/src/Documentation/Tests.DocGenerator/Tests.DocGenerator.csproj
index a1592eb311..2fc1b8b3a0 100644
--- a/src/Documentation/Tests.DocGenerator/Tests.DocGenerator.csproj
+++ b/src/Documentation/Tests.DocGenerator/Tests.DocGenerator.csproj
@@ -12,13 +12,8 @@
     <Compile Include="..\..\Common\DelaySign.cs" Link="DelaySign.cs" />
   </ItemGroup>
 
-  <ItemGroup>
-    <AdditionalFiles Include="..\..\Common\stylecop.json" Link="stylecop.json" />
-  </ItemGroup>
-
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="16.3.0" />
-    <PackageReference Include="StyleCop.Analyzers" Version="1.2.0-beta.164" PrivateAssets="All" />
     <PackageReference Include="xunit" Version="2.4.1" />
     <PackageReference Include="xunit.runner.visualstudio" Version="2.4.1">
       <PrivateAssets>all</PrivateAssets>
diff --git a/src/Documentation/Tests.DocGenerator/Utils.cs b/src/Documentation/Tests.DocGenerator/Utils.cs
index 0d6ea3f5a1..a110ed698e 100644
--- a/src/Documentation/Tests.DocGenerator/Utils.cs
+++ b/src/Documentation/Tests.DocGenerator/Utils.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using Microsoft.Quantum.QsCompiler.DataTypes;
diff --git a/src/QsCompiler/BondSchemas/BondSchemaTranslator.cs b/src/QsCompiler/BondSchemas/BondSchemaTranslator.cs
index f4f10d5538..9fad29e2b9 100644
--- a/src/QsCompiler/BondSchemas/BondSchemaTranslator.cs
+++ b/src/QsCompiler/BondSchemas/BondSchemaTranslator.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -199,16 +199,10 @@ private static QsDeclarationAttribute ToBondSchema(this SyntaxTree.QsDeclaration
 
         private static QsExpressionKindComposition<TypedExpression, Identifier, ResolvedType> ToBondSchema(
             this SyntaxTokens.QsExpressionKind<SyntaxTree.TypedExpression, SyntaxTree.Identifier, SyntaxTree.ResolvedType> qsExpressionKind) =>
-            qsExpressionKind.ToBondSchemaGeneric<
-                TypedExpression,
-                Identifier,
-                ResolvedType,
-                SyntaxTree.TypedExpression,
-                SyntaxTree.Identifier,
-                SyntaxTree.ResolvedType>(
-            expressionTranslator: ToBondSchema,
-            symbolTranslator: ToBondSchema,
-            typeTranslator: ToBondSchema);
+            qsExpressionKind.ToBondSchemaGeneric(
+                expressionTranslator: ToBondSchema,
+                symbolTranslator: ToBondSchema,
+                typeTranslator: ToBondSchema);
 
         private static QsForStatement ToBondSchema(this SyntaxTree.QsForStatement qsForStatement) =>
             new QsForStatement
@@ -509,19 +503,11 @@ private static QsTuple<QsTypeItem> ToBondSchema(
 
         private static QsTypeKindComposition<ResolvedType, UserDefinedType, QsTypeParameter, CallableInformation> ToBondSchema(
             this SyntaxTokens.QsTypeKind<SyntaxTree.ResolvedType, SyntaxTree.UserDefinedType, SyntaxTree.QsTypeParameter, SyntaxTree.CallableInformation> qsTypeKind) =>
-            qsTypeKind.ToBondSchemaGeneric
-                <ResolvedType,
-                 UserDefinedType,
-                 QsTypeParameter,
-                 CallableInformation,
-                 SyntaxTree.ResolvedType,
-                 SyntaxTree.UserDefinedType,
-                 SyntaxTree.QsTypeParameter,
-                 SyntaxTree.CallableInformation>(
-            dataTranslator: ToBondSchema,
-            udtTranslator: ToBondSchema,
-            paramTranslator: ToBondSchema,
-            characteristicsTranslator: ToBondSchema);
+            qsTypeKind.ToBondSchemaGeneric(
+                dataTranslator: ToBondSchema,
+                udtTranslator: ToBondSchema,
+                paramTranslator: ToBondSchema,
+                characteristicsTranslator: ToBondSchema);
 
         private static QsTypeItem ToBondSchema(this SyntaxTree.QsTypeItem qsTypeItem)
         {
@@ -790,7 +776,7 @@ private static QsExpressionKindComposition<TBondExpression, TBondSymbol, TBondTy
             where TCompilerSymbol : class
             where TCompilerType : class
         {
-            Int64? bondIntLiteral = null;
+            long? bondIntLiteral = null;
             ArraySegment<byte> bondBigIntLiteral = null;
             double? bondDoubleLiteral = null;
             bool? bondBoolLiteral = null;
diff --git a/src/QsCompiler/BondSchemas/BondSchemas.csproj b/src/QsCompiler/BondSchemas/BondSchemas.csproj
index a38f031d6c..61c9bdcf60 100644
--- a/src/QsCompiler/BondSchemas/BondSchemas.csproj
+++ b/src/QsCompiler/BondSchemas/BondSchemas.csproj
@@ -20,10 +20,6 @@
     <ProjectReference Include="..\DataStructures\DataStructures.fsproj" />
   </ItemGroup>
 
-  <ItemGroup>
-    <AdditionalFiles Include="..\..\Common\stylecop.json" Link="stylecop.json" />
-  </ItemGroup>
-
   <ItemGroup>
     <Compile Include="..\..\Common\DelaySign.cs" Link="Properties\DelaySign.cs" />
   </ItemGroup>
diff --git a/src/QsCompiler/BondSchemas/CompilerObjectTranslator.cs b/src/QsCompiler/BondSchemas/CompilerObjectTranslator.cs
index c41c3d64f6..6b0934df18 100644
--- a/src/QsCompiler/BondSchemas/CompilerObjectTranslator.cs
+++ b/src/QsCompiler/BondSchemas/CompilerObjectTranslator.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -49,16 +49,10 @@ private static SyntaxTokens.AccessModifier ToCompilerObject(this AccessModifier
 
         private static SyntaxTokens.QsExpressionKind<SyntaxTree.TypedExpression, SyntaxTree.Identifier, SyntaxTree.ResolvedType> ToCompilerObject(
             this QsExpressionKindComposition<TypedExpression, Identifier, ResolvedType> bondQsExpressionKindComposition) =>
-            bondQsExpressionKindComposition.ToCompilerObjectGeneric<
-                SyntaxTree.TypedExpression,
-                SyntaxTree.Identifier,
-                SyntaxTree.ResolvedType,
-                TypedExpression,
-                Identifier,
-                ResolvedType>(
-                    expressionTranslator: ToCompilerObject,
-                    symbolTranslator: ToCompilerObject,
-                    typeTranslator: ToCompilerObject);
+            bondQsExpressionKindComposition.ToCompilerObjectGeneric(
+                expressionTranslator: ToCompilerObject,
+                symbolTranslator: ToCompilerObject,
+                typeTranslator: ToCompilerObject);
 
         private static SyntaxTokens.QsGeneratorDirective ToCompilerObject(this QsGeneratorDirective bondQsGeneratorDirective) =>
             bondQsGeneratorDirective switch
@@ -525,7 +519,7 @@ string UnexpectedNullFieldMessage(string fieldName) =>
                 return SyntaxTree.QsTypeItem.NewNamed(
                     item: named.ToCompilerObjectGeneric(typeTranslator: item => item));
             }
-            else if(bondQsTypeItem.Kind == QsTypeItemKind.Anonymous)
+            else if (bondQsTypeItem.Kind == QsTypeItemKind.Anonymous)
             {
                 var anonymous =
                     bondQsTypeItem.Anonymous ??
@@ -693,8 +687,8 @@ string UnexpectedNullFieldMessage(string fieldName) =>
                 return SyntaxTokens.CharacteristicsKind<TCompiler>.NewSimpleSet(
                     item: simpleSet.ToCompilerObject());
             }
-            else if((bondCharacteristicsKindComposition.Kind == CharacteristicsKind.Union) ||
-                    (bondCharacteristicsKindComposition.Kind == CharacteristicsKind.Intersection))
+            else if ((bondCharacteristicsKindComposition.Kind == CharacteristicsKind.Union) ||
+                     (bondCharacteristicsKindComposition.Kind == CharacteristicsKind.Intersection))
             {
                 var bondSetOperation =
                     bondCharacteristicsKindComposition.SetOperation ??
diff --git a/src/QsCompiler/BondSchemas/Protocols.cs b/src/QsCompiler/BondSchemas/Protocols.cs
index 030f7fdad9..fe4142fcd6 100644
--- a/src/QsCompiler/BondSchemas/Protocols.cs
+++ b/src/QsCompiler/BondSchemas/Protocols.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -35,7 +35,7 @@ public static class Protocols
             byte[] byteArray)
         {
             QsCompilation? bondCompilation = null;
-            lock(BondSharedDataStructuresLock)
+            lock (BondSharedDataStructuresLock)
             {
                 var inputBuffer = new InputBuffer(byteArray);
                 var deserializer = GetSimpleBinaryDeserializer();
@@ -106,7 +106,7 @@ public static void SerializeQsCompilationToSimpleBinary(
             SyntaxTree.QsCompilation qsCompilation,
             Stream stream)
         {
-            lock(BondSharedDataStructuresLock)
+            lock (BondSharedDataStructuresLock)
             {
                 var outputBuffer = new OutputBuffer();
                 var serializer = GetSimpleBinarySerializer();
diff --git a/src/QsCompiler/CommandLineTool/CommandLineTool.csproj b/src/QsCompiler/CommandLineTool/CommandLineTool.csproj
index d3556ce0fb..d69127007f 100644
--- a/src/QsCompiler/CommandLineTool/CommandLineTool.csproj
+++ b/src/QsCompiler/CommandLineTool/CommandLineTool.csproj
@@ -27,7 +27,6 @@
   <ItemGroup>
     <PackageReference Include="CommandLineParser" Version="2.6.0" />
     <PackageReference Include="Microsoft.CodeAnalysis.CSharp.Workspaces" Version="3.6.0" />
-    <PackageReference Include="StyleCop.Analyzers" Version="1.2.0-beta.164" PrivateAssets="All" />
   </ItemGroup>
 
   <ItemGroup>
@@ -39,7 +38,6 @@
   </ItemGroup>
 
   <ItemGroup>
-    <AdditionalFiles Include="..\..\Common\stylecop.json" Link="stylecop.json" />
     <Content Include="..\..\..\NOTICE.txt" Link="NOTICE.txt">
       <CopyToOutputDirectory>Always</CopyToOutputDirectory>
     </Content>
diff --git a/src/QsCompiler/CommandLineTool/Commands/Build.cs b/src/QsCompiler/CommandLineTool/Commands/Build.cs
index 2686222502..4e22406bca 100644
--- a/src/QsCompiler/CommandLineTool/Commands/Build.cs
+++ b/src/QsCompiler/CommandLineTool/Commands/Build.cs
@@ -10,7 +10,6 @@
 using CommandLine;
 using CommandLine.Text;
 using Microsoft.Quantum.QsCompiler.Diagnostics;
-using static Microsoft.Quantum.QsCompiler.ReservedKeywords.AssemblyConstants;
 
 namespace Microsoft.Quantum.QsCompiler.CommandLineCompiler
 {
@@ -45,15 +44,15 @@ public static IEnumerable<Example> UsageExamples
             [Option(
                 "response-files",
                 Required = true,
-                SetName = RESPONSE_FILES,
+                SetName = Options.ResponseFiles,
                 HelpText = "Response file(s) providing command arguments. Required only if no other arguments are specified. Non-default values for options specified via command line take precedence.")]
-            public IEnumerable<string> ResponseFiles { get; set; }
+            public new IEnumerable<string> ResponseFiles { get; set; }
 
             [Option(
                 'o',
                 "output",
                 Required = false,
-                SetName = CODE_MODE,
+                SetName = CodeMode,
                 HelpText = "Destination folder where the output of the compilation will be generated.")]
             public string OutputFolder { get; set; }
 
@@ -62,7 +61,7 @@ public static IEnumerable<Example> UsageExamples
             [Option(
                 "proj",
                 Required = false,
-                SetName = CODE_MODE,
+                SetName = CodeMode,
                 HelpText = "Name of the project (needs to be usable as file name).")]
             public string? ProjectName { get; set; }
 
@@ -70,14 +69,14 @@ public static IEnumerable<Example> UsageExamples
                 "emit-dll",
                 Required = false,
                 Default = false,
-                SetName = CODE_MODE,
+                SetName = CodeMode,
                 HelpText = "Specifies whether the compiler should emit a .NET Core dll containing the compiled Q# code.")]
             public bool EmitDll { get; set; }
 
             [Option(
                 "perf",
                 Required = false,
-                SetName = CODE_MODE,
+                SetName = CodeMode,
                 HelpText = "Destination folder where the output of the performance assessment will be generated.")]
             public string? PerfFolder { get; set; }
 
@@ -204,7 +203,7 @@ public static int Run(BuildOptions options, ConsoleLogger logger)
             if (!BuildOptions.IncorporateResponseFiles(options, out var incorporated))
             {
                 logger.Log(ErrorCode.InvalidCommandLineArgsInResponseFiles, Array.Empty<string>());
-                return ReturnCode.INVALID_ARGUMENTS;
+                return ReturnCode.InvalidArguments;
             }
 
             options = incorporated;
diff --git a/src/QsCompiler/CommandLineTool/Commands/Diagnose.cs b/src/QsCompiler/CommandLineTool/Commands/Diagnose.cs
index d0e82e27ec..455c714d16 100644
--- a/src/QsCompiler/CommandLineTool/Commands/Diagnose.cs
+++ b/src/QsCompiler/CommandLineTool/Commands/Diagnose.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/CommandLineTool/Commands/Format.cs b/src/QsCompiler/CommandLineTool/Commands/Format.cs
index 771132ab23..3c1023066f 100644
--- a/src/QsCompiler/CommandLineTool/Commands/Format.cs
+++ b/src/QsCompiler/CommandLineTool/Commands/Format.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -9,7 +9,6 @@
 using System.Text.RegularExpressions;
 using CommandLine;
 using CommandLine.Text;
-using Microsoft.Quantum.QsCompiler.DataTypes;
 using Microsoft.Quantum.QsCompiler.Diagnostics;
 using Microsoft.Quantum.QsCompiler.Transformations.BasicTransformations;
 using Microsoft.Quantum.QsCompiler.Transformations.QsCodeOutput;
@@ -45,7 +44,7 @@ public static IEnumerable<Example> UsageExamples
                 'o',
                 "output",
                 Required = true,
-                SetName = CODE_MODE,
+                SetName = CodeMode,
                 HelpText = "Destination folder where the formatted files will be generated.")]
             public string OutputFolder { get; set; }
 #nullable restore annotations
@@ -157,14 +156,14 @@ ImmutableDictionary<Uri, string> LoadSources(SourceFileLoader loadFromDisk) =>
             // no rewrite steps, no generation
             var loaded =
                 new CompilationLoader(LoadSources, options.References ?? Enumerable.Empty<string>(), logger: logger);
-            if (ReturnCode.Status(loaded) == ReturnCode.UNRESOLVED_FILES)
+            if (ReturnCode.Status(loaded) == ReturnCode.UnresolvedFiles)
             {
-                return ReturnCode.UNRESOLVED_FILES; // ignore compilation errors
+                return ReturnCode.UnresolvedFiles; // ignore compilation errors
             }
             else if (loaded.VerifiedCompilation is null)
             {
                 logger.Log(ErrorCode.QsGenerationFailed, Enumerable.Empty<string>());
-                return ReturnCode.CODE_GENERATION_ERRORS;
+                return ReturnCode.CodeGenerationErrors;
             }
 
             // TODO: a lot of the formatting logic defined here and also in the routines above
@@ -183,7 +182,7 @@ ImmutableDictionary<Uri, string> LoadSources(SourceFileLoader loadFromDisk) =>
                 }
                 logger.Verbosity = verbosity;
             }
-            return success ? ReturnCode.SUCCESS : ReturnCode.CODE_GENERATION_ERRORS;
+            return success ? ReturnCode.Success : ReturnCode.CodeGenerationErrors;
         }
     }
 }
diff --git a/src/QsCompiler/CommandLineTool/CompilationTracker.cs b/src/QsCompiler/CommandLineTool/CompilationTracker.cs
index 2cbca2279e..d4b742eb24 100644
--- a/src/QsCompiler/CommandLineTool/CompilationTracker.cs
+++ b/src/QsCompiler/CommandLineTool/CompilationTracker.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/CommandLineTool/LoadContext.cs b/src/QsCompiler/CommandLineTool/LoadContext.cs
index 844ab10f32..484188d1e8 100644
--- a/src/QsCompiler/CommandLineTool/LoadContext.cs
+++ b/src/QsCompiler/CommandLineTool/LoadContext.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 // This unfortunately needs to live in this project
diff --git a/src/QsCompiler/CommandLineTool/Logging.cs b/src/QsCompiler/CommandLineTool/Logging.cs
index 1efd361a47..4101b2a036 100644
--- a/src/QsCompiler/CommandLineTool/Logging.cs
+++ b/src/QsCompiler/CommandLineTool/Logging.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -65,7 +65,7 @@ private static void PrintToConsole(DiagnosticSeverity severity, string message)
         /// Prints a summary containing the currently counted number of errors, warnings and exceptions.
         /// Indicates a compilation failure if the given status does not correspond to the ReturnCode indicating a success.
         /// </summary>
-        public virtual void ReportSummary(int status = CommandLineCompiler.ReturnCode.SUCCESS)
+        public virtual void ReportSummary(int status = CommandLineCompiler.ReturnCode.Success)
         {
             string ItemString(int nr, string name) => $"{nr} {name}{(nr == 1 ? "" : "s")}";
             var errors = ItemString(this.NrErrorsLogged, "error");
@@ -75,7 +75,7 @@ public virtual void ReportSummary(int status = CommandLineCompiler.ReturnCode.SU
                 : "";
 
             Console.WriteLine("\n____________________________________________\n");
-            if (status == CommandLineCompiler.ReturnCode.SUCCESS)
+            if (status == CommandLineCompiler.ReturnCode.Success)
             {
                 Console.WriteLine($"Q#: Success! ({errors}, {warnings}) {exceptions}\n");
                 return;
diff --git a/src/QsCompiler/CommandLineTool/Options.cs b/src/QsCompiler/CommandLineTool/Options.cs
index 19958f257a..ca720c8a47 100644
--- a/src/QsCompiler/CommandLineTool/Options.cs
+++ b/src/QsCompiler/CommandLineTool/Options.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -9,7 +9,6 @@
 using System.Reflection;
 using CommandLine;
 using Microsoft.Quantum.QsCompiler.CompilationBuilder;
-using Microsoft.Quantum.QsCompiler.DataTypes;
 using Microsoft.Quantum.QsCompiler.Diagnostics;
 using Microsoft.Quantum.QsCompiler.ReservedKeywords;
 using Microsoft.VisualStudio.LanguageServer.Protocol;
@@ -32,21 +31,21 @@ public class CompilationOptions : Options
             "trim",
             Required = false,
             Default = DefaultOptions.TrimLevel,
-            SetName = CODE_MODE,
+            SetName = CodeMode,
             HelpText = "[Experimental feature] Integer indicating how much to simplify the syntax tree by eliminating selective abstractions.")]
         public int TrimLevel { get; set; }
 
         [Option(
             "load",
             Required = false,
-            SetName = CODE_MODE,
+            SetName = CodeMode,
             HelpText = "Path to the .NET Core dll(s) defining additional transformations to include in the compilation process.")]
         public IEnumerable<string>? Plugins { get; set; }
 
         [Option(
             "target-specific-decompositions",
             Required = false,
-            SetName = CODE_MODE,
+            SetName = CodeMode,
             HelpText = "[Experimental feature] Path to the .NET Core dll(s) containing target specific implementations.")]
         public IEnumerable<string>? TargetSpecificDecompositions { get; set; }
 
@@ -54,21 +53,21 @@ public class CompilationOptions : Options
             "load-test-names",
             Required = false,
             Default = false,
-            SetName = CODE_MODE,
+            SetName = CodeMode,
             HelpText = "Specifies whether public types and callables declared in referenced assemblies are exposed via their test name defined by the corresponding attribute.")]
         public bool ExposeReferencesViaTestNames { get; set; }
 
         [Option(
             "assembly-properties",
             Required = false,
-            SetName = CODE_MODE,
+            SetName = CodeMode,
             HelpText = "Additional properties to populate the AssemblyConstants dictionary with. Each item is expected to be of the form \"key:value\".")]
         public IEnumerable<string>? AdditionalAssemblyProperties { get; set; }
 
         [Option(
             "runtime",
             Required = false,
-            SetName = CODE_MODE,
+            SetName = CodeMode,
             HelpText = "Specifies the classical capabilites of the runtime. Determines what QIR profile to compile to.")]
         public AssemblyConstants.RuntimeCapabilities RuntimeCapabilites { get; set; }
 
@@ -78,7 +77,7 @@ public class CompilationOptions : Options
             "build-exe",
             Required = false,
             Default = false,
-            SetName = CODE_MODE,
+            SetName = CodeMode,
             HelpText = "Specifies whether to build a Q# command line application.")]
         public bool MakeExecutable { get; set; }
 
@@ -111,9 +110,9 @@ public enum LogFormat
         }
 
         // Note: items in one set are mutually exclusive with items from other sets
-        protected const string CODE_MODE = "codeMode";
-        protected const string SNIPPET_MODE = "snippetMode";
-        protected const string RESPONSE_FILES = "responseFiles";
+        protected const string CodeMode = "codeMode";
+        protected const string SnippetMode = "snippetMode";
+        protected const string ResponseFiles = "responseFiles";
 
         [Option(
             'v',
@@ -134,7 +133,7 @@ public enum LogFormat
             'i',
             "input",
             Required = true,
-            SetName = CODE_MODE,
+            SetName = CodeMode,
             HelpText = "Q# code or name of the Q# file to compile.")]
         public IEnumerable<string>? Input { get; set; }
 
@@ -142,7 +141,7 @@ public enum LogFormat
             's',
             "snippet",
             Required = true,
-            SetName = SNIPPET_MODE,
+            SetName = SnippetMode,
             HelpText = "Q# snippet to compile - i.e. Q# code occuring within an operation or function declaration.")]
         public string? CodeSnippet { get; set; }
 
@@ -151,7 +150,7 @@ public enum LogFormat
             "within-function",
             Required = false,
             Default = false,
-            SetName = SNIPPET_MODE,
+            SetName = SnippetMode,
             HelpText = "Specifies whether a given Q# snipped occurs within a function")]
         public bool WithinFunction { get; set; }
 
@@ -174,7 +173,7 @@ public enum LogFormat
         [Option(
             "package-load-fallback-folders",
             Required = false,
-            SetName = CODE_MODE,
+            SetName = CodeMode,
             HelpText = "Specifies the directories the compiler will search when a compiler dependency could not be found.")]
         public IEnumerable<string>? PackageLoadFallbackFolders { get; set; }
 
@@ -253,29 +252,29 @@ public ConsoleLogger GetLogger(DiagnosticSeverity defaultVerbosity = DiagnosticS
         /// <summary>
         /// text document identifier used to identify the code snippet in diagnostic mode
         /// </summary>
-        private static readonly Uri SNIPPET_FILE_URI = new Uri(Path.GetFullPath("__CODE_SNIPPET__.qs"));
+        private static readonly Uri SnippetFileUri = new Uri(Path.GetFullPath("__CODE_SNIPPET__.qs"));
 
-        private static string SNIPPET_FILE_ID =>
+        private static string SnippetFileId =>
             QsCompilerError.RaiseOnFailure(
-                () => CompilationUnitManager.GetFileId(SNIPPET_FILE_URI),
+                () => CompilationUnitManager.GetFileId(SnippetFileUri),
                 "invalid code snippet id");
 
         /// <summary>
         /// name of the namespace within which code snippets are compiled
         /// </summary>
-        private const string SNIPPET_NAMESPACE = "CODE_SNIPPET_NS";
+        private const string SnippetNamespace = "CODE_SNIPPET_NS";
 
         /// <summary>
         /// name of the callable within which code snippets are compiled
         /// </summary>
-        private const string SNIPPET_CALLABLE = "CODE_SNIPPET_CALLABLE";
+        private const string SnippetCallable = "CODE_SNIPPET_CALLABLE";
 
         /// <summary>
         /// wraps the given content into a namespace and callable that maps Unit to Unit
         /// </summary>
         public static string AsSnippet(string content, bool inFunction = false) =>
-            $"{Declarations.Namespace} {SNIPPET_NAMESPACE} {{ \n " +
-            $"{(inFunction ? Declarations.Function : Declarations.Operation)} {SNIPPET_CALLABLE} () : {Types.Unit} {{ \n" +
+            $"{Declarations.Namespace} {SnippetNamespace} {{ \n " +
+            $"{(inFunction ? Declarations.Function : Declarations.Operation)} {SnippetCallable} () : {Types.Unit} {{ \n" +
             $"{content} \n" + // no indentation such that position info is accurate
             $"}} \n" +
             $"}}";
@@ -283,7 +282,7 @@ public static string AsSnippet(string content, bool inFunction = false) =>
         /// <summary>
         /// Helper function that returns true if the given file id is consistent with the one for a code snippet.
         /// </summary>
-        public static bool IsCodeSnippet(string fileId) => fileId == SNIPPET_FILE_ID;
+        public static bool IsCodeSnippet(string fileId) => fileId == SnippetFileId;
 
         /// <summary>
         /// Returns a function that given a routine for loading files from disk,
@@ -301,7 +300,7 @@ internal CompilationLoader.SourceLoader LoadSourcesOrSnippet(ILogger logger) =>
             }
             else if (this.CodeSnippet != null && !input.Any())
             {
-                return new Dictionary<Uri, string> { { SNIPPET_FILE_URI, AsSnippet(this.CodeSnippet, this.WithinFunction) } }.ToImmutableDictionary();
+                return new Dictionary<Uri, string> { { SnippetFileUri, AsSnippet(this.CodeSnippet, this.WithinFunction) } }.ToImmutableDictionary();
             }
 
             if (!input.Any())
diff --git a/src/QsCompiler/CommandLineTool/Program.cs b/src/QsCompiler/CommandLineTool/Program.cs
index 3fdb6da21f..6f91c36ad6 100644
--- a/src/QsCompiler/CommandLineTool/Program.cs
+++ b/src/QsCompiler/CommandLineTool/Program.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -14,79 +14,80 @@ public static class ReturnCode
         /// <summary>
         /// Return code indicating that the invoked command to the Q# command line compiler succeeded.
         /// </summary>
-        public const int SUCCESS = 0;
+        public const int Success = 0;
 
         /// <summary>
         /// Return code indicating that the command to the Q# command line compiler was invoked with invalid arguments.
         /// </summary>
-        public const int INVALID_ARGUMENTS = -1;
+        public const int InvalidArguments = -1;
 
         /// <summary>
         /// Return code indicating that some of the files given to the Q# command line compiler could not be loaded.
         /// </summary>
-        public const int UNRESOLVED_FILES = -2;
+        public const int UnresolvedFiles = -2;
 
         /// <summary>
         /// Return code indicating that the compilation using the Q# command line compiler failed due to in build errors.
         /// </summary>
-        public const int COMPILATION_ERRORS = -3;
+        public const int CompilationErrors = -3;
 
         /// <summary>
         /// Return code indicating that generating the necessary functor support for the built compilation failed.
         /// </summary>
-        public const int FUNCTOR_GENERATION_ERRORS = -4;
+        public const int FunctorGenerationErrors = -4;
 
         /// <summary>
         /// Return code indicating that pre-evaluating the built compilation if possible failed.
         /// </summary>
-        public const int PREEVALUATION_ERRORS = -5;
+        public const int PreevaluationErrors = -5;
 
         /// <summary>
         /// Return code indicating that generating a binary file with the content of the built compilation failed.
         /// </summary>
-        public const int BINARY_GENERATION_ERRORS = -6;
+        public const int BinaryGenerationErrors = -6;
 
         /// <summary>
         /// Return code indicating that generating a dll containing the compiled binary failed.
         /// </summary>
-        public const int DLL_GENERATION_ERRORS = -7;
+        public const int DllGenerationErrors = -7;
 
         /// <summary>
         /// Return code indicating that generating formatted Q# code based on the built compilation failed.
         /// </summary>
-        public const int CODE_GENERATION_ERRORS = -8;
+        public const int CodeGenerationErrors = -8;
 
         /// <summary>
         /// Return code indicating that generating documentation for the built compilation failed.
         /// </summary>
-        public const int DOC_GENERATION_ERRORS = -9;
+        public const int DocGenerationErrors = -9;
 
         /// <summary>
         /// Return code indicating that invoking the specified compiler plugin(s) failed.
         /// </summary>
-        public const int PLUGIN_EXECUTION_ERRORS = -10;
+        public const int PluginExecutionErrors = -10;
 
         /// <summary>
         /// Return code indicating that an unexpected exception was thrown when executing the invoked command to the Q# command line compiler.
         /// </summary>
-        public const int UNEXPECTED_ERROR = -1000;
+        public const int UnexpectedError = -1000;
 
         public static int Status(CompilationLoader loaded) =>
-            loaded.SourceFileLoading == CompilationLoader.Status.Failed ? UNRESOLVED_FILES :
-            loaded.ReferenceLoading == CompilationLoader.Status.Failed ? UNRESOLVED_FILES :
-            loaded.Validation == CompilationLoader.Status.Failed ? COMPILATION_ERRORS :
-            loaded.FunctorSupport == CompilationLoader.Status.Failed ? FUNCTOR_GENERATION_ERRORS :
-            loaded.PreEvaluation == CompilationLoader.Status.Failed ? PREEVALUATION_ERRORS :
-            loaded.Documentation == CompilationLoader.Status.Failed ? DOC_GENERATION_ERRORS :
-            loaded.BinaryFormat == CompilationLoader.Status.Failed ? BINARY_GENERATION_ERRORS :
-            loaded.DllGeneration == CompilationLoader.Status.Failed ? DLL_GENERATION_ERRORS :
-            loaded.AllLoadedRewriteSteps == CompilationLoader.Status.Failed ? PLUGIN_EXECUTION_ERRORS :
-            loaded.Success ? SUCCESS : UNEXPECTED_ERROR;
+            loaded.SourceFileLoading == CompilationLoader.Status.Failed ? UnresolvedFiles :
+            loaded.ReferenceLoading == CompilationLoader.Status.Failed ? UnresolvedFiles :
+            loaded.Validation == CompilationLoader.Status.Failed ? CompilationErrors :
+            loaded.FunctorSupport == CompilationLoader.Status.Failed ? FunctorGenerationErrors :
+            loaded.PreEvaluation == CompilationLoader.Status.Failed ? PreevaluationErrors :
+            loaded.Documentation == CompilationLoader.Status.Failed ? DocGenerationErrors :
+            loaded.BinaryFormat == CompilationLoader.Status.Failed ? BinaryGenerationErrors :
+            loaded.DllGeneration == CompilationLoader.Status.Failed ? DllGenerationErrors :
+            loaded.AllLoadedRewriteSteps == CompilationLoader.Status.Failed ? PluginExecutionErrors :
+            loaded.Success ? Success : UnexpectedError;
     }
 
     public static class Program
     {
-        private static int Run<T>(Func<T, ConsoleLogger, int> compile, T options) where T : Options
+        private static int Run<T>(Func<T, ConsoleLogger, int> compile, T options)
+            where T : Options
         {
             var logger = options.GetLogger();
             try
@@ -103,7 +104,7 @@ private static int Run<T>(Func<T, ConsoleLogger, int> compile, T options) where
                 logger.Verbosity = DiagnosticSeverity.Hint;
                 logger.Log(ErrorCode.UnexpectedCommandLineCompilerException, Enumerable.Empty<string>());
                 logger.Log(ex);
-                return ReturnCode.UNEXPECTED_ERROR;
+                return ReturnCode.UnexpectedError;
             }
         }
 
@@ -114,6 +115,6 @@ public static int Main(string[] args) =>
                     (BuildCompilation.BuildOptions opts) => Run((c, o) => BuildCompilation.Run(c, o), opts),
                     (DiagnoseCompilation.DiagnoseOptions opts) => Run((c, o) => DiagnoseCompilation.Run(c, o), opts),
                     (FormatCompilation.FormatOptions opts) => Run((c, o) => FormatCompilation.Run(c, o), opts),
-                    errs => ReturnCode.INVALID_ARGUMENTS);
+                    errs => ReturnCode.InvalidArguments);
     }
 }
diff --git a/src/QsCompiler/CompilationManager/AssemblyLoader.cs b/src/QsCompiler/CompilationManager/AssemblyLoader.cs
index 7b9d4b30c5..bad4a18a42 100644
--- a/src/QsCompiler/CompilationManager/AssemblyLoader.cs
+++ b/src/QsCompiler/CompilationManager/AssemblyLoader.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/CompilationManager/CompilationManager.csproj b/src/QsCompiler/CompilationManager/CompilationManager.csproj
index 6acbf9c053..5212b69da0 100644
--- a/src/QsCompiler/CompilationManager/CompilationManager.csproj
+++ b/src/QsCompiler/CompilationManager/CompilationManager.csproj
@@ -12,7 +12,6 @@
   <ItemGroup>
     <PackageReference Include="Microsoft.VisualStudio.LanguageServer.Protocol" Version="16.3.57" />
     <PackageReference Include="Newtonsoft.Json.Bson" Version="1.0.2" />
-    <PackageReference Include="StyleCop.Analyzers" Version="1.2.0-beta.164" PrivateAssets="All" />
   </ItemGroup>
 
   <ItemGroup>
@@ -28,8 +27,4 @@
     <Compile Include="..\..\Common\DelaySign.cs" Link="Properties\DelaySign.cs" />
   </ItemGroup>
 
-  <ItemGroup>
-    <AdditionalFiles Include="..\..\Common\stylecop.json" Link="stylecop.json" />
-  </ItemGroup>
-
 </Project>
diff --git a/src/QsCompiler/CompilationManager/CompilationUnit.cs b/src/QsCompiler/CompilationManager/CompilationUnit.cs
index 97952a671a..a0c7c6db46 100644
--- a/src/QsCompiler/CompilationManager/CompilationUnit.cs
+++ b/src/QsCompiler/CompilationManager/CompilationUnit.cs
@@ -772,7 +772,7 @@ public static ImmutableArray<QsNamespace> NewSyntaxTree(
             var namespaceElements = callables.Select(c => (c.FullName.Namespace, QsNamespaceElement.NewQsCallable(c)))
                 .Concat(types.Select(t => (t.FullName.Namespace, QsNamespaceElement.NewQsCustomType(t))));
             return namespaceElements
-                .ToLookup(element => element.Item1, element => element.Item2)
+                .ToLookup(element => element.Namespace, element => element.Item2)
                 .Select(elements => new QsNamespace(
                     elements.Key,
                     elements.OrderBy(ElementName).ToImmutableArray(),
diff --git a/src/QsCompiler/CompilationManager/CompilationUnitManager.cs b/src/QsCompiler/CompilationManager/CompilationUnitManager.cs
index 46946fa980..295bc1541b 100644
--- a/src/QsCompiler/CompilationManager/CompilationUnitManager.cs
+++ b/src/QsCompiler/CompilationManager/CompilationUnitManager.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -10,8 +10,6 @@
 using System.Threading;
 using System.Threading.Tasks;
 using Microsoft.Quantum.QsCompiler.CompilationBuilder.DataStructures;
-using Microsoft.Quantum.QsCompiler.DataTypes;
-using Microsoft.Quantum.QsCompiler.ReservedKeywords;
 using Microsoft.Quantum.QsCompiler.SyntaxProcessing;
 using Microsoft.Quantum.QsCompiler.SyntaxTokens;
 using Microsoft.Quantum.QsCompiler.SyntaxTree;
@@ -96,7 +94,8 @@ public CompilationUnitManager(
         /// and then executes the given function, returning its result.
         /// Returns null if the given function to execute is null, but does everything else.
         /// </summary>
-        public T? FlushAndExecute<T>(Func<T?>? execute = null) where T : class
+        public T? FlushAndExecute<T>(Func<T?>? execute = null)
+            where T : class
         {
             // To enforce an up-to-date content for executing the given function,
             // we want to do a (synchronous!) global type checking on flushing,
@@ -549,7 +548,8 @@ private Task SpawnGlobalTypeCheckingAsync(bool runSynchronously = false)
                     {
                         this.LogException(ex);
                     }
-                }, cancellationToken);
+                },
+                cancellationToken);
 
             if (runSynchronously)
             {
@@ -960,10 +960,10 @@ internal Compilation(CompilationUnitManager manager)
 
                 this.FileContent = this.SourceFiles
                     .Select(file => (file, manager.fileContentManagers[file].GetLines().Select(line => line.Text).ToImmutableArray()))
-                    .ToImmutableDictionary(tuple => tuple.Item1, tuple => tuple.Item2);
+                    .ToImmutableDictionary(tuple => tuple.file, tuple => tuple.Item2);
                 this.Tokenization = this.SourceFiles
                     .Select(file => (file, manager.fileContentManagers[file].GetTokenizedLines().Select(line => line.Select(frag => frag.Copy()).ToImmutableArray()).ToImmutableArray()))
-                    .ToImmutableDictionary(tuple => tuple.Item1, tuple => tuple.Item2);
+                    .ToImmutableDictionary(tuple => tuple.file, tuple => tuple.Item2);
                 this.SyntaxTree = this.BuiltCompilation.Namespaces.ToImmutableDictionary(ns => ns.Name);
 
                 this.openDirectivesForEachFile = this.SyntaxTree.Keys.ToImmutableDictionary(
@@ -971,25 +971,25 @@ internal Compilation(CompilationUnitManager manager)
                     nsName => manager.compilationUnit.GetOpenDirectives(nsName));
                 this.namespaceDeclarations = this.SourceFiles
                     .Select(file => (file, manager.fileContentManagers[file].NamespaceDeclarationTokens().Select(t => t.GetFragmentWithClosingComments()).ToImmutableArray()))
-                    .ToImmutableDictionary(tuple => tuple.Item1, tuple => tuple.Item2);
+                    .ToImmutableDictionary(tuple => tuple.file, tuple => tuple.Item2);
                 this.Callables = this.SyntaxTree.Values.GlobalCallableResolutions();
                 this.Types = this.SyntaxTree.Values.GlobalTypeResolutions();
 
                 this.ScopeDiagnostics = this.SourceFiles
                     .Select(file => (file, manager.fileContentManagers[file].CurrentScopeDiagnostics()))
-                    .ToImmutableDictionary(tuple => tuple.Item1, tuple => tuple.Item2);
+                    .ToImmutableDictionary(tuple => tuple.file, tuple => tuple.Item2);
                 this.SyntaxDiagnostics = this.SourceFiles
                     .Select(file => (file, manager.fileContentManagers[file].CurrentSyntaxDiagnostics()))
-                    .ToImmutableDictionary(tuple => tuple.Item1, tuple => tuple.Item2);
+                    .ToImmutableDictionary(tuple => tuple.file, tuple => tuple.Item2);
                 this.ContextDiagnostics = this.SourceFiles
                     .Select(file => (file, manager.fileContentManagers[file].CurrentContextDiagnostics()))
-                    .ToImmutableDictionary(tuple => tuple.Item1, tuple => tuple.Item2);
+                    .ToImmutableDictionary(tuple => tuple.file, tuple => tuple.Item2);
                 this.HeaderDiagnostics = this.SourceFiles
                     .Select(file => (file, manager.fileContentManagers[file].CurrentHeaderDiagnostics()))
-                    .ToImmutableDictionary(tuple => tuple.Item1, tuple => tuple.Item2);
+                    .ToImmutableDictionary(tuple => tuple.file, tuple => tuple.Item2);
                 this.SemanticDiagnostics = this.SourceFiles
                     .Select(file => (file, manager.fileContentManagers[file].CurrentSemanticDiagnostics()))
-                    .ToImmutableDictionary(tuple => tuple.Item1, tuple => tuple.Item2);
+                    .ToImmutableDictionary(tuple => tuple.file, tuple => tuple.Item2);
             }
         }
     }
diff --git a/src/QsCompiler/CompilationManager/ContextBuilder.cs b/src/QsCompiler/CompilationManager/ContextBuilder.cs
index dc61f04d54..510b21b316 100644
--- a/src/QsCompiler/CompilationManager/ContextBuilder.cs
+++ b/src/QsCompiler/CompilationManager/ContextBuilder.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -506,7 +506,7 @@ List<Diagnostic> Verify(CodeFragment.TokenIndex tokenIndex)
                 {
                     yield return TypeCheckingRange(preceding.Last(), following);
                 }
-                if (following.Any() && following.First().Item1.Line == lineNr)
+                if (following.Any() && following.First().Start.Line == lineNr)
                 {
                     yield return TypeCheckingRange(following.First(), following.Skip(1));
                 }
@@ -533,7 +533,8 @@ internal static void UpdateContext(this FileContentManager file)
                     {
                         var verifiedLines = file.VerifyContext(changedLines, out List<Diagnostic> diagnostics);
                         file.UpdateContextDiagnostics(verifiedLines, diagnostics);
-                    }, "updating the ContextDiagnostics failed");
+                    },
+                    "updating the ContextDiagnostics failed");
 
                 var edited = file.CallablesWithContentModifications(changedLines);
                 file.MarkCallableAsContentEdited(edited);
diff --git a/src/QsCompiler/CompilationManager/DataStructures.cs b/src/QsCompiler/CompilationManager/DataStructures.cs
index f905b93d2f..ba448ea3e7 100644
--- a/src/QsCompiler/CompilationManager/DataStructures.cs
+++ b/src/QsCompiler/CompilationManager/DataStructures.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/CompilationManager/DiagnosticTools.cs b/src/QsCompiler/CompilationManager/DiagnosticTools.cs
index eb07bec3be..db7157cb4a 100644
--- a/src/QsCompiler/CompilationManager/DiagnosticTools.cs
+++ b/src/QsCompiler/CompilationManager/DiagnosticTools.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/CompilationManager/Diagnostics.cs b/src/QsCompiler/CompilationManager/Diagnostics.cs
index 8693cdd59f..be8b7c4cfa 100644
--- a/src/QsCompiler/CompilationManager/Diagnostics.cs
+++ b/src/QsCompiler/CompilationManager/Diagnostics.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/CompilationManager/EditorSupport/CodeActions.cs b/src/QsCompiler/CompilationManager/EditorSupport/CodeActions.cs
index 7dd65a64e4..cd682f722d 100644
--- a/src/QsCompiler/CompilationManager/EditorSupport/CodeActions.cs
+++ b/src/QsCompiler/CompilationManager/EditorSupport/CodeActions.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -7,7 +7,6 @@
 using System.Diagnostics.CodeAnalysis;
 using System.Linq;
 using Microsoft.Quantum.QsCompiler.CompilationBuilder.DataStructures;
-using Microsoft.Quantum.QsCompiler.DataTypes;
 using Microsoft.Quantum.QsCompiler.Diagnostics;
 using Microsoft.Quantum.QsCompiler.SyntaxProcessing;
 using Microsoft.Quantum.QsCompiler.SyntaxTokens;
diff --git a/src/QsCompiler/CompilationManager/EditorSupport/CodeCompletion.cs b/src/QsCompiler/CompilationManager/EditorSupport/CodeCompletion.cs
index 768592e90d..9d05b04ff2 100644
--- a/src/QsCompiler/CompilationManager/EditorSupport/CodeCompletion.cs
+++ b/src/QsCompiler/CompilationManager/EditorSupport/CodeCompletion.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -412,13 +412,13 @@ private static IEnumerable<CompletionItem> GetNamespaceAliasCompletions(
             return compilation
                 .GetOpenDirectives(ns)[file.FileName]
                 .SelectNotNull(open => open.Item2?.Apply(alias => (open.Item1, alias)))
-                .Where(open => open.Item2.StartsWith(prefix))
-                .GroupBy(open => NextNamespacePart(open.Item2, prefix.Length))
+                .Where(open => open.alias.StartsWith(prefix))
+                .GroupBy(open => NextNamespacePart(open.alias, prefix.Length))
                 .Select(open => new CompletionItem
                 {
                     Label = open.Key,
                     Kind = CompletionItemKind.Module,
-                    Detail = open.Count() == 1 && prefix + open.Key == open.Single().Item2
+                    Detail = open.Count() == 1 && prefix + open.Key == open.Single().alias
                         ? open.Single().Item1
                         : prefix + open.Key
                 });
diff --git a/src/QsCompiler/CompilationManager/EditorSupport/EditorCommands.cs b/src/QsCompiler/CompilationManager/EditorSupport/EditorCommands.cs
index 4fc6481d7d..af82d0b54d 100644
--- a/src/QsCompiler/CompilationManager/EditorSupport/EditorCommands.cs
+++ b/src/QsCompiler/CompilationManager/EditorSupport/EditorCommands.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -379,7 +379,7 @@ List<QsFunctor> FunctorApplications(ref QsExpression ex)
                     : ImmutableArray.Create<QsExpression?>(ex);
                 return argItems.AddRange(Enumerable.Repeat<QsExpression?>(null, declItems.Item.Length - argItems.Length))
                     .Zip(declItems.Item, (e, d) => (e, d))
-                    .SelectMany(arg => ExtractParameterRanges(arg.Item1, arg.Item2));
+                    .SelectMany(arg => ExtractParameterRanges(arg.e, arg.d));
             }
 
             var callArgs = ExtractParameterRanges(args, argTuple).ToArray();
diff --git a/src/QsCompiler/CompilationManager/EditorSupport/SymbolInformation.cs b/src/QsCompiler/CompilationManager/EditorSupport/SymbolInformation.cs
index 22788ee3fb..e34b380a45 100644
--- a/src/QsCompiler/CompilationManager/EditorSupport/SymbolInformation.cs
+++ b/src/QsCompiler/CompilationManager/EditorSupport/SymbolInformation.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -7,7 +7,6 @@
 using System.Diagnostics.CodeAnalysis;
 using System.Linq;
 using Microsoft.Quantum.QsCompiler.CompilationBuilder.DataStructures;
-using Microsoft.Quantum.QsCompiler.DataTypes;
 using Microsoft.Quantum.QsCompiler.SyntaxProcessing;
 using Microsoft.Quantum.QsCompiler.SyntaxTokens;
 using Microsoft.Quantum.QsCompiler.SyntaxTree;
diff --git a/src/QsCompiler/CompilationManager/FileContentException.cs b/src/QsCompiler/CompilationManager/FileContentException.cs
index f710b9e80a..fb685fd7ad 100644
--- a/src/QsCompiler/CompilationManager/FileContentException.cs
+++ b/src/QsCompiler/CompilationManager/FileContentException.cs
@@ -1,4 +1,7 @@
-using System;
+// Copyright (c) Microsoft Corporation.
+// Licensed under the MIT License.
+
+using System;
 
 namespace Microsoft.Quantum.QsCompiler.CompilationBuilder
 {
@@ -10,7 +13,8 @@ public class FileContentException : Exception
         /// <summary>
         /// Creates a <see cref="FileContentException"/> with the given message.
         /// </summary>
-        public FileContentException(string message) : base(message)
+        public FileContentException(string message)
+            : base(message)
         {
         }
     }
diff --git a/src/QsCompiler/CompilationManager/FileContentManager.cs b/src/QsCompiler/CompilationManager/FileContentManager.cs
index 301d137a0c..021b51671d 100644
--- a/src/QsCompiler/CompilationManager/FileContentManager.cs
+++ b/src/QsCompiler/CompilationManager/FileContentManager.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -9,7 +9,6 @@
 using System.Threading;
 using System.Threading.Tasks;
 using Microsoft.Quantum.QsCompiler.CompilationBuilder.DataStructures;
-using Microsoft.Quantum.QsCompiler.DataTypes;
 using Microsoft.Quantum.QsCompiler.Diagnostics;
 using Microsoft.Quantum.QsCompiler.ReservedKeywords;
 using Microsoft.Quantum.QsCompiler.SyntaxProcessing;
@@ -740,7 +739,8 @@ void FilterAndMarkEdited(int index, Func<CodeFragment, bool> predicate)
                         {
                             edited();
                         }
-                    }, $"marking edited in {nameof(this.RemoveTokensInRange)} failed");
+                    },
+                    $"marking edited in {nameof(this.RemoveTokensInRange)} failed");
                 QsCompilerError.RaiseOnFailure(
                     () =>
                     {
@@ -748,7 +748,8 @@ void FilterAndMarkEdited(int index, Func<CodeFragment, bool> predicate)
                         {
                             transformation();
                         }
-                    }, $"applying transformations in {nameof(this.RemoveTokensInRange)} failed");
+                    },
+                    $"applying transformations in {nameof(this.RemoveTokensInRange)} failed");
             }
             finally
             {
@@ -847,7 +848,8 @@ ImmutableArray<CodeFragment> MergeAndAttachComments(ImmutableArray<CodeFragment>
                         {
                             transformation();
                         }
-                    }, $"applying transformations in {nameof(this.TokensUpdate)} failed");
+                    },
+                    $"applying transformations in {nameof(this.TokensUpdate)} failed");
                 QsCompilerError.RaiseOnFailure(
                     () =>
                     {
@@ -855,7 +857,8 @@ ImmutableArray<CodeFragment> MergeAndAttachComments(ImmutableArray<CodeFragment>
                         {
                             edited();
                         }
-                    }, $"marking edited in {nameof(this.TokensUpdate)} failed");
+                    },
+                    $"marking edited in {nameof(this.TokensUpdate)} failed");
             }
             finally
             {
diff --git a/src/QsCompiler/CompilationManager/PerformanceTracking.cs b/src/QsCompiler/CompilationManager/PerformanceTracking.cs
index 2221591b4e..c3effc62cc 100644
--- a/src/QsCompiler/CompilationManager/PerformanceTracking.cs
+++ b/src/QsCompiler/CompilationManager/PerformanceTracking.cs
@@ -1,12 +1,10 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
 using System.Collections.Generic;
 using System.Text.RegularExpressions;
 
-#nullable enable
-
 namespace Microsoft.Quantum.QsCompiler.Diagnostics
 {
     /// <summary>
diff --git a/src/QsCompiler/CompilationManager/ProcessingQueue.cs b/src/QsCompiler/CompilationManager/ProcessingQueue.cs
index 0f438a71c3..20088f2d18 100644
--- a/src/QsCompiler/CompilationManager/ProcessingQueue.cs
+++ b/src/QsCompiler/CompilationManager/ProcessingQueue.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/CompilationManager/ProjectManager.cs b/src/QsCompiler/CompilationManager/ProjectManager.cs
index d779a460cd..c9ca419c4e 100644
--- a/src/QsCompiler/CompilationManager/ProjectManager.cs
+++ b/src/QsCompiler/CompilationManager/ProjectManager.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -258,7 +258,8 @@ private void LoadProject(
                 {
                     this.log(
                         $"The Q# language server functionality is partially disabled for project {this.ProjectFile.LocalPath}. " +
-                        $"The full functionality will be available after updating the project to Q# version 0.3 or higher.", MessageType.Warning);
+                        $"The full functionality will be available after updating the project to Q# version 0.3 or higher.",
+                        MessageType.Warning);
                 }
                 this.LoadReferencedAssembliesAsync(this.specifiedReferences.Select(uri => uri.LocalPath), skipVerification: true);
                 this.LoadProjectReferencesAsync(projectOutputPaths, this.specifiedProjectReferences.Select(uri => uri.LocalPath), skipVerification: true);
@@ -1247,7 +1248,7 @@ public static ImmutableDictionary<Uri, string> LoadSourceFiles(
                 onException);
             return found
                 .SelectNotNull(file => GetFileContent(file)?.Apply(content => (file, content)))
-                .ToImmutableDictionary(source => source.Item1, source => source.Item2);
+                .ToImmutableDictionary(source => source.file, source => source.content);
         }
 
         /// <summary>
@@ -1346,7 +1347,7 @@ private static string GetFileId(Uri uri) =>
 
             var projectDlls = existingProjectFiles // maps the *dll path* back to the corresponding project file!
                 .SelectNotNull(projFile => TryGetOutputPath(projFile)?.Apply(output => (projFile, output)))
-                .ToImmutableDictionary(p => p.Item2, p => p.Item1); // FIXME: take care of different projects having the same output path...
+                .ToImmutableDictionary(p => p.output, p => p.projFile); // FIXME: take care of different projects having the same output path...
             var (existingProjectDlls, missingDlls) = projectDlls.Keys.Partition(f => File.Exists(f.LocalPath));
             foreach (var projFile in missingDlls.Select(dll => projectDlls[dll]))
             {
@@ -1355,7 +1356,7 @@ private static string GetFileId(Uri uri) =>
 
             return existingProjectDlls
                 .SelectNotNull(file => LoadReferencedDll(file)?.Apply(headers => (file, headers)))
-                .ToImmutableDictionary(asm => GetFileId(projectDlls[asm.Item1]), asm => asm.Item2);
+                .ToImmutableDictionary(asm => GetFileId(projectDlls[asm.file]), asm => asm.headers);
         }
 
         /// <summary>
@@ -1388,7 +1389,7 @@ private static string GetFileId(Uri uri) =>
 
             return assembliesToLoad
                 .SelectNotNull(file => LoadReferencedDll(file)?.Apply(headers => (file, headers)))
-                .ToImmutableDictionary(asm => GetFileId(asm.Item1), asm => asm.Item2);
+                .ToImmutableDictionary(asm => GetFileId(asm.file), asm => asm.headers);
         }
     }
 }
diff --git a/src/QsCompiler/CompilationManager/Properties/AssemblyInfo.cs b/src/QsCompiler/CompilationManager/Properties/AssemblyInfo.cs
index a12ed9564a..1e0a5beaa3 100644
--- a/src/QsCompiler/CompilationManager/Properties/AssemblyInfo.cs
+++ b/src/QsCompiler/CompilationManager/Properties/AssemblyInfo.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Runtime.CompilerServices;
diff --git a/src/QsCompiler/CompilationManager/ScopeTracking.cs b/src/QsCompiler/CompilationManager/ScopeTracking.cs
index 564009edd9..3aaf4dcc5c 100644
--- a/src/QsCompiler/CompilationManager/ScopeTracking.cs
+++ b/src/QsCompiler/CompilationManager/ScopeTracking.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -6,7 +6,6 @@
 using System.Linq;
 using Microsoft.Quantum.QsCompiler.CompilationBuilder.DataStructures;
 using Microsoft.VisualStudio.LanguageServer.Protocol;
-using Lsp = Microsoft.VisualStudio.LanguageServer.Protocol;
 using Position = Microsoft.Quantum.QsCompiler.DataTypes.Position;
 
 namespace Microsoft.Quantum.QsCompiler.CompilationBuilder
@@ -668,7 +667,8 @@ private static void Update(this FileContentManager file, int start, int count, I
                     {
                         file.ContentUpdate(start, file.NrLines() - start, replacements.Concat(updateRemaining).ToArray());
                     }
-                }, "the proposed ContentUpdate failed");
+                },
+                "the proposed ContentUpdate failed");
 
             QsCompilerError.RaiseOnFailure(
                 () =>
@@ -682,7 +682,8 @@ private static void Update(this FileContentManager file, int start, int count, I
                         file.AddScopeDiagnostics(file.ComputeScopeDiagnostics(start));
                     }
                     file.AddScopeDiagnostics(file.CheckForMissingClosings());
-                }, "updating the scope diagnostics failed");
+                },
+                "updating the scope diagnostics failed");
         }
 
         // routine(s) called by the FileContentManager upon updating a file
diff --git a/src/QsCompiler/CompilationManager/TextProcessor.cs b/src/QsCompiler/CompilationManager/TextProcessor.cs
index 27846f789d..cf5f69d5bd 100644
--- a/src/QsCompiler/CompilationManager/TextProcessor.cs
+++ b/src/QsCompiler/CompilationManager/TextProcessor.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/CompilationManager/TypeChecking.cs b/src/QsCompiler/CompilationManager/TypeChecking.cs
index 4c9e2f4fad..136294704b 100644
--- a/src/QsCompiler/CompilationManager/TypeChecking.cs
+++ b/src/QsCompiler/CompilationManager/TypeChecking.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -464,8 +464,8 @@ internal static void ImportGlobalSymbols(this FileContentManager file, Compilati
                 return (item.Key, item.Value.Item1, nodes);
             });
             return specRoots.ToImmutableDictionary(
-                spec => spec.Item1,
-                spec => (spec.Item2, new FragmentTree(file.FileName, spec.Item1.Namespace, spec.Item1.Name, spec.Item3)));
+                spec => spec.Key,
+                spec => (spec.Item2, new FragmentTree(file.FileName, spec.Key.Namespace, spec.Key.Name, spec.nodes)));
         }
 
         /// <summary>
diff --git a/src/QsCompiler/CompilationManager/Utils.cs b/src/QsCompiler/CompilationManager/Utils.cs
index dc27e478e7..4c0874539a 100644
--- a/src/QsCompiler/CompilationManager/Utils.cs
+++ b/src/QsCompiler/CompilationManager/Utils.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/Compiler/Compiler.csproj b/src/QsCompiler/Compiler/Compiler.csproj
index f57583f99f..c00d7fa25a 100644
--- a/src/QsCompiler/Compiler/Compiler.csproj
+++ b/src/QsCompiler/Compiler/Compiler.csproj
@@ -20,12 +20,7 @@
     <Compile Include="..\..\Common\DelaySign.cs" Link="Properties\DelaySign.cs" />
   </ItemGroup>
 
-  <ItemGroup>
-    <AdditionalFiles Include="..\..\Common\stylecop.json" Link="stylecop.json" />
-  </ItemGroup>
-
   <ItemGroup>
     <PackageReference Include="Newtonsoft.Json.Bson" Version="1.0.2" />
-    <PackageReference Include="StyleCop.Analyzers" Version="1.2.0-beta.164" PrivateAssets="All" />
   </ItemGroup>
 </Project>
diff --git a/src/QsCompiler/Compiler/FunctorGeneration.cs b/src/QsCompiler/Compiler/FunctorGeneration.cs
index 180103efee..6de8aa5b86 100644
--- a/src/QsCompiler/Compiler/FunctorGeneration.cs
+++ b/src/QsCompiler/Compiler/FunctorGeneration.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/Compiler/LoadedStep.cs b/src/QsCompiler/Compiler/LoadedStep.cs
index 8e35a124a6..6e533cf18f 100644
--- a/src/QsCompiler/Compiler/LoadedStep.cs
+++ b/src/QsCompiler/Compiler/LoadedStep.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/Compiler/Logging.cs b/src/QsCompiler/Compiler/Logging.cs
index c706db4d08..68fb6471c0 100644
--- a/src/QsCompiler/Compiler/Logging.cs
+++ b/src/QsCompiler/Compiler/Logging.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/Compiler/MetadataGeneration.cs b/src/QsCompiler/Compiler/MetadataGeneration.cs
index 3b04e9929b..87b5c16338 100644
--- a/src/QsCompiler/Compiler/MetadataGeneration.cs
+++ b/src/QsCompiler/Compiler/MetadataGeneration.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Collections.Generic;
diff --git a/src/QsCompiler/Compiler/PluginInterface.cs b/src/QsCompiler/Compiler/PluginInterface.cs
index 9e02dc8d20..b329f36330 100644
--- a/src/QsCompiler/Compiler/PluginInterface.cs
+++ b/src/QsCompiler/Compiler/PluginInterface.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Collections.Generic;
diff --git a/src/QsCompiler/Compiler/Process.cs b/src/QsCompiler/Compiler/Process.cs
index 149f3f28c2..d7709fdafc 100644
--- a/src/QsCompiler/Compiler/Process.cs
+++ b/src/QsCompiler/Compiler/Process.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/Compiler/Properties/AssemblyInfo.cs b/src/QsCompiler/Compiler/Properties/AssemblyInfo.cs
index 091d227001..60ccd5c1f5 100644
--- a/src/QsCompiler/Compiler/Properties/AssemblyInfo.cs
+++ b/src/QsCompiler/Compiler/Properties/AssemblyInfo.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Runtime.CompilerServices;
diff --git a/src/QsCompiler/Compiler/RewriteSteps/AbstractRewriteStepsLoader.cs b/src/QsCompiler/Compiler/RewriteSteps/AbstractRewriteStepsLoader.cs
index a3f0cb2936..8c00a208af 100644
--- a/src/QsCompiler/Compiler/RewriteSteps/AbstractRewriteStepsLoader.cs
+++ b/src/QsCompiler/Compiler/RewriteSteps/AbstractRewriteStepsLoader.cs
@@ -1,8 +1,7 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
-using System.Collections.Immutable;
 using System.Linq;
 using Microsoft.Quantum.QsCompiler.CompilationBuilder;
 using Microsoft.Quantum.QsCompiler.Diagnostics;
@@ -57,6 +56,5 @@ protected AbstractRewriteStepsLoader(Action<Diagnostic>? onDiagnostic = null, Ac
 
             return null;
         }
-
     }
 }
diff --git a/src/QsCompiler/Compiler/RewriteSteps/AssemblyRewriteStepsLoader.cs b/src/QsCompiler/Compiler/RewriteSteps/AssemblyRewriteStepsLoader.cs
index c95ddcea7a..cc20dfa796 100644
--- a/src/QsCompiler/Compiler/RewriteSteps/AssemblyRewriteStepsLoader.cs
+++ b/src/QsCompiler/Compiler/RewriteSteps/AssemblyRewriteStepsLoader.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -16,11 +16,12 @@ namespace Microsoft.Quantum.QsCompiler
 {
     /// <summary>
     /// Loads all DLLs passed into the configuration as containing external rewrite steps.
-    /// Disocvers and instantiates all types implementing IRewriteStep 
+    /// Discovers and instantiates all types implementing IRewriteStep
     /// </summary>
     internal class AssemblyRewriteStepsLoader : AbstractRewriteStepsLoader
     {
-        public AssemblyRewriteStepsLoader(Action<Diagnostic>? onDiagnostic = null, Action<Exception>? onException = null) : base(onDiagnostic, onException)
+        public AssemblyRewriteStepsLoader(Action<Diagnostic>? onDiagnostic = null, Action<Exception>? onException = null)
+            : base(onDiagnostic, onException)
         {
         }
 
@@ -47,8 +48,8 @@ public ImmutableArray<LoadedStep> GetLoadedSteps(IEnumerable<(string, string?)>?
             }
 
             var specifiedPluginDlls = rewriteStepAssemblies.SelectNotNull(step => WithFullPath(step.Item1)?.Apply(path => (path, step.Item2)));
-            var (foundDlls, notFoundDlls) = specifiedPluginDlls.Partition(step => File.Exists(step.Item1.LocalPath));
-            foreach (var file in notFoundDlls.Select(step => step.Item1).Distinct())
+            var (foundDlls, notFoundDlls) = specifiedPluginDlls.Partition(step => File.Exists(step.path.LocalPath));
+            foreach (var file in notFoundDlls.Select(step => step.path).Distinct())
             {
                 this.onDiagnostic?.Invoke(Errors.LoadError(ErrorCode.UnknownCompilerPlugin, new[] { file.LocalPath }, file.LocalPath));
             }
diff --git a/src/QsCompiler/Compiler/RewriteSteps/CapabilityInference.cs b/src/QsCompiler/Compiler/RewriteSteps/CapabilityInference.cs
index 396a75f6ab..ec8aa9a0d0 100644
--- a/src/QsCompiler/Compiler/RewriteSteps/CapabilityInference.cs
+++ b/src/QsCompiler/Compiler/RewriteSteps/CapabilityInference.cs
@@ -1,4 +1,7 @@
-using System;
+// Copyright (c) Microsoft Corporation.
+// Licensed under the MIT License.
+
+using System;
 using System.Collections.Generic;
 using System.Linq;
 using Microsoft.Quantum.QsCompiler.SyntaxTree;
diff --git a/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs b/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs
index ca5dd76728..9d7ec981a3 100644
--- a/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs
+++ b/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs
@@ -1,10 +1,9 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Collections.Generic;
 using System.Collections.Immutable;
 using System.Linq;
-using Microsoft.Quantum.QsCompiler.DataTypes;
 using Microsoft.Quantum.QsCompiler.SyntaxTree;
 using Microsoft.Quantum.QsCompiler.Transformations.ClassicallyControlled;
 
diff --git a/src/QsCompiler/Compiler/RewriteSteps/ConjugationInlining.cs b/src/QsCompiler/Compiler/RewriteSteps/ConjugationInlining.cs
index c4af9007b5..96db84275f 100644
--- a/src/QsCompiler/Compiler/RewriteSteps/ConjugationInlining.cs
+++ b/src/QsCompiler/Compiler/RewriteSteps/ConjugationInlining.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Collections.Generic;
diff --git a/src/QsCompiler/Compiler/RewriteSteps/ExternalRewriteStepsManager.cs b/src/QsCompiler/Compiler/RewriteSteps/ExternalRewriteStepsManager.cs
index 192fc5434a..14b0fe8a03 100644
--- a/src/QsCompiler/Compiler/RewriteSteps/ExternalRewriteStepsManager.cs
+++ b/src/QsCompiler/Compiler/RewriteSteps/ExternalRewriteStepsManager.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/Compiler/RewriteSteps/FullPreEvaluation.cs b/src/QsCompiler/Compiler/RewriteSteps/FullPreEvaluation.cs
index 0dc7e5c83b..b074e354f8 100644
--- a/src/QsCompiler/Compiler/RewriteSteps/FullPreEvaluation.cs
+++ b/src/QsCompiler/Compiler/RewriteSteps/FullPreEvaluation.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Collections.Generic;
diff --git a/src/QsCompiler/Compiler/RewriteSteps/FunctorGeneration.cs b/src/QsCompiler/Compiler/RewriteSteps/FunctorGeneration.cs
index 9d3b958ac4..fe192ccb6a 100644
--- a/src/QsCompiler/Compiler/RewriteSteps/FunctorGeneration.cs
+++ b/src/QsCompiler/Compiler/RewriteSteps/FunctorGeneration.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Collections.Generic;
diff --git a/src/QsCompiler/Compiler/RewriteSteps/InstanceRewriteStepsLoader.cs b/src/QsCompiler/Compiler/RewriteSteps/InstanceRewriteStepsLoader.cs
index eeeda0910e..6b51574289 100644
--- a/src/QsCompiler/Compiler/RewriteSteps/InstanceRewriteStepsLoader.cs
+++ b/src/QsCompiler/Compiler/RewriteSteps/InstanceRewriteStepsLoader.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -13,7 +13,8 @@ namespace Microsoft.Quantum.QsCompiler
     /// </summary>
     internal class InstanceRewriteStepsLoader : AbstractRewriteStepsLoader
     {
-        public InstanceRewriteStepsLoader(Action<Diagnostic>? onDiagnostic = null, Action<Exception>? onException = null) : base(onDiagnostic, onException)
+        public InstanceRewriteStepsLoader(Action<Diagnostic>? onDiagnostic = null, Action<Exception>? onException = null)
+            : base(onDiagnostic, onException)
         {
         }
 
diff --git a/src/QsCompiler/Compiler/RewriteSteps/IntrinsicResolution.cs b/src/QsCompiler/Compiler/RewriteSteps/IntrinsicResolution.cs
index 6e9f4de3d7..18c38df7fd 100644
--- a/src/QsCompiler/Compiler/RewriteSteps/IntrinsicResolution.cs
+++ b/src/QsCompiler/Compiler/RewriteSteps/IntrinsicResolution.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Collections.Generic;
diff --git a/src/QsCompiler/Compiler/RewriteSteps/Monomorphization.cs b/src/QsCompiler/Compiler/RewriteSteps/Monomorphization.cs
index 7802e9ee4c..5c9f604bb1 100644
--- a/src/QsCompiler/Compiler/RewriteSteps/Monomorphization.cs
+++ b/src/QsCompiler/Compiler/RewriteSteps/Monomorphization.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Collections.Generic;
diff --git a/src/QsCompiler/Compiler/RewriteSteps/TypeRewriteStepsLoader.cs b/src/QsCompiler/Compiler/RewriteSteps/TypeRewriteStepsLoader.cs
index 1bd9257ec5..dd2584d046 100644
--- a/src/QsCompiler/Compiler/RewriteSteps/TypeRewriteStepsLoader.cs
+++ b/src/QsCompiler/Compiler/RewriteSteps/TypeRewriteStepsLoader.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -13,7 +13,8 @@ namespace Microsoft.Quantum.QsCompiler
     /// </summary>
     internal class TypeRewriteStepsLoader : AbstractRewriteStepsLoader
     {
-        public TypeRewriteStepsLoader(Action<Diagnostic>? onDiagnostic = null, Action<Exception>? onException = null) : base(onDiagnostic, onException)
+        public TypeRewriteStepsLoader(Action<Diagnostic>? onDiagnostic = null, Action<Exception>? onException = null)
+            : base(onDiagnostic, onException)
         {
         }
 
diff --git a/src/QsCompiler/LanguageServer/Communication.cs b/src/QsCompiler/LanguageServer/Communication.cs
index 41d48bee22..293d226141 100644
--- a/src/QsCompiler/LanguageServer/Communication.cs
+++ b/src/QsCompiler/LanguageServer/Communication.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Runtime.Serialization;
@@ -59,7 +59,7 @@ public class CodeActionParams
             public TextDocumentIdentifier? TextDocument { get; set; }
 
             [DataMember(Name = "range")]
-            public VisualStudio.LanguageServer.Protocol.Range? Range { get; set; }
+            public Range? Range { get; set; }
 
             [DataMember(Name = "context")]
             public CodeActionContext? Context { get; set; }
diff --git a/src/QsCompiler/LanguageServer/EditorState.cs b/src/QsCompiler/LanguageServer/EditorState.cs
index b01c0ea44f..ae7d261816 100644
--- a/src/QsCompiler/LanguageServer/EditorState.cs
+++ b/src/QsCompiler/LanguageServer/EditorState.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -254,7 +254,8 @@ internal Task OpenFileAsync(
                 {
                     showError?.Invoke(
                         $"Version control and opening multiple versions of the same file in the editor are currently not supported. \n" +
-                        $"Intellisense has been disable for the file '{textDocument.Uri.LocalPath}'. An editor restart is required to enable intellisense again.", MessageType.Error);
+                        $"Intellisense has been disable for the file '{textDocument.Uri.LocalPath}'. An editor restart is required to enable intellisense again.",
+                        MessageType.Error);
                     #if DEBUG
                     if (showError == null)
                     {
diff --git a/src/QsCompiler/LanguageServer/EventQueues.cs b/src/QsCompiler/LanguageServer/EventQueues.cs
index 2dd638a840..3800ab572c 100644
--- a/src/QsCompiler/LanguageServer/EventQueues.cs
+++ b/src/QsCompiler/LanguageServer/EventQueues.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/LanguageServer/FileSystemWatcher.cs b/src/QsCompiler/LanguageServer/FileSystemWatcher.cs
index 0440f99f1f..2c53700abb 100644
--- a/src/QsCompiler/LanguageServer/FileSystemWatcher.cs
+++ b/src/QsCompiler/LanguageServer/FileSystemWatcher.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/LanguageServer/LanguageServer.cs b/src/QsCompiler/LanguageServer/LanguageServer.cs
index ccb10ad6c3..2bb16ce941 100644
--- a/src/QsCompiler/LanguageServer/LanguageServer.cs
+++ b/src/QsCompiler/LanguageServer/LanguageServer.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -575,7 +575,8 @@ Command BuildCommand(string title, WorkspaceEdit edit)
         public object? OnExecuteCommand(JToken arg)
         {
             ExecuteCommandParams param = Utils.TryJTokenAs<ExecuteCommandParams>(arg);
-            object? CastAndExecute<T>(Func<T, object?> command) where T : class =>
+            object? CastAndExecute<T>(Func<T, object?> command)
+                where T : class =>
                 QsCompilerError.RaiseOnFailure(
                     () => command(Utils.TryJTokenAs<T>((JObject)param.Arguments.Single())), // currently all supported commands take a single argument
                     "ExecuteCommand threw an exception");
diff --git a/src/QsCompiler/LanguageServer/LanguageServer.csproj b/src/QsCompiler/LanguageServer/LanguageServer.csproj
index 92975a783c..ade2b39519 100644
--- a/src/QsCompiler/LanguageServer/LanguageServer.csproj
+++ b/src/QsCompiler/LanguageServer/LanguageServer.csproj
@@ -26,7 +26,6 @@
     <PackageReference Include="Microsoft.VisualStudio.LanguageServer.Protocol" Version="16.3.57" />
     <PackageReference Include="Newtonsoft.Json" Version="12.0.2" />
     <PackageReference Include="StreamJsonRpc" Version="2.2.34" />
-    <PackageReference Include="StyleCop.Analyzers" Version="1.2.0-beta.164" PrivateAssets="All" />
     <PackageReference Include="System.Reactive" Version="4.2.0" />
     <PackageReference Include="System.Reflection.Metadata" Version="1.7.0" />
     <PackageReference Include="System.Security.Permissions" Version="4.6.0" />
@@ -34,7 +33,4 @@
   <ItemGroup>
     <Compile Include="..\..\Common\DelaySign.cs" Link="Properties\DelaySign.cs" />
   </ItemGroup>
-  <ItemGroup>
-    <AdditionalFiles Include="..\..\Common\stylecop.json" Link="stylecop.json" />
-  </ItemGroup>
 </Project>
diff --git a/src/QsCompiler/LanguageServer/Program.cs b/src/QsCompiler/LanguageServer/Program.cs
index a389d29e6f..8e9c64dcfa 100644
--- a/src/QsCompiler/LanguageServer/Program.cs
+++ b/src/QsCompiler/LanguageServer/Program.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -18,8 +18,8 @@ public class Server
         public class Options
         {
             // Note: items in one set are mutually exclusive with items from other sets
-            protected const string CONNECTION_VIA_SOCKET = "connectionViaSocket";
-            protected const string CONNECTION_VIA_PIPE = "connectionViaPipe";
+            protected const string ConnectionViaSocket = "connectionViaSocket";
+            protected const string ConnectionViaPipe = "connectionViaPipe";
 
             [Option(
                 'l',
@@ -33,7 +33,7 @@ public class Options
                 'p',
                 "port",
                 Required = true,
-                SetName = CONNECTION_VIA_SOCKET,
+                SetName = ConnectionViaSocket,
                 HelpText = "Port to use for TCP/IP connections.")]
             public int Port { get; set; }
 
@@ -41,7 +41,7 @@ public class Options
                 'w',
                 "writer",
                 Required = true,
-                SetName = CONNECTION_VIA_PIPE,
+                SetName = ConnectionViaPipe,
                 HelpText = "Named pipe to write to.")]
             public string? WriterPipeName { get; set; }
 
@@ -49,7 +49,7 @@ public class Options
                 'r',
                 "reader",
                 Required = true,
-                SetName = CONNECTION_VIA_PIPE,
+                SetName = ConnectionViaPipe,
                 HelpText = "Named pipe to read from.")]
             public string? ReaderPipeName { get; set; }
         }
diff --git a/src/QsCompiler/LanguageServer/ProjectLoader.cs b/src/QsCompiler/LanguageServer/ProjectLoader.cs
index e1c2576e52..acc837ecc7 100644
--- a/src/QsCompiler/LanguageServer/ProjectLoader.cs
+++ b/src/QsCompiler/LanguageServer/ProjectLoader.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/LanguageServer/Properties/AssemblyInfo.cs b/src/QsCompiler/LanguageServer/Properties/AssemblyInfo.cs
index 932d13cc8c..9c8311fd6c 100644
--- a/src/QsCompiler/LanguageServer/Properties/AssemblyInfo.cs
+++ b/src/QsCompiler/LanguageServer/Properties/AssemblyInfo.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Runtime.CompilerServices;
diff --git a/src/QsCompiler/LanguageServer/SynchronizationContext.cs b/src/QsCompiler/LanguageServer/SynchronizationContext.cs
index caaf7bd7c3..7fa08144dd 100644
--- a/src/QsCompiler/LanguageServer/SynchronizationContext.cs
+++ b/src/QsCompiler/LanguageServer/SynchronizationContext.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Threading;
diff --git a/src/QsCompiler/LanguageServer/Utils.cs b/src/QsCompiler/LanguageServer/Utils.cs
index f7c5425d77..fe43424be8 100644
--- a/src/QsCompiler/LanguageServer/Utils.cs
+++ b/src/QsCompiler/LanguageServer/Utils.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -17,7 +17,8 @@ public static class Utils
         // language server tools -
         // wrapping these into a try .. catch .. to make sure errors don't go unnoticed as they otherwise would
 
-        public static T TryJTokenAs<T>(JToken arg) where T : class =>
+        public static T TryJTokenAs<T>(JToken arg)
+            where T : class =>
             QsCompilerError.RaiseOnFailure(() => arg.ToObject<T>(), "could not cast given JToken");
 
         private static ShowMessageParams? AsMessageParams(string text, MessageType severity) =>
diff --git a/src/QsCompiler/TestTargets/Simulation/Target/Program.cs b/src/QsCompiler/TestTargets/Simulation/Target/Program.cs
index 1c330415d6..f5f5d52080 100644
--- a/src/QsCompiler/TestTargets/Simulation/Target/Program.cs
+++ b/src/QsCompiler/TestTargets/Simulation/Target/Program.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Collections.Generic;
diff --git a/src/QsCompiler/TestTargets/Simulation/Target/Simulation.csproj b/src/QsCompiler/TestTargets/Simulation/Target/Simulation.csproj
index 76c93e1027..3a72f9713f 100644
--- a/src/QsCompiler/TestTargets/Simulation/Target/Simulation.csproj
+++ b/src/QsCompiler/TestTargets/Simulation/Target/Simulation.csproj
@@ -12,12 +12,7 @@
     <Compile Remove="Driver.cs" />
   </ItemGroup>
 
-  <ItemGroup>
-    <AdditionalFiles Include="..\..\..\..\Common\stylecop.json" Link="stylecop.json" />
-  </ItemGroup>
-
   <ItemGroup>
     <PackageReference Include="Microsoft.Quantum.CsharpGeneration" Version="0.13.201118474-beta" />
-    <PackageReference Include="StyleCop.Analyzers" Version="1.2.0-beta.164" PrivateAssets="All" />
   </ItemGroup>
 </Project>
diff --git a/src/QsCompiler/Tests.Compiler/CommandLineTests.fs b/src/QsCompiler/Tests.Compiler/CommandLineTests.fs
index f4bd9a34c6..efc2771851 100644
--- a/src/QsCompiler/Tests.Compiler/CommandLineTests.fs
+++ b/src/QsCompiler/Tests.Compiler/CommandLineTests.fs
@@ -29,11 +29,11 @@ let private testSnippet expected args =
 
 [<Fact>]
 let ``valid snippet`` () =
-    [| "-s"; "let a = 0;"; "-v n" |] |> testSnippet ReturnCode.SUCCESS
+    [| "-s"; "let a = 0;"; "-v n" |] |> testSnippet ReturnCode.Success
 
 [<Fact>]
 let ``invalid snippet`` () =
-    [| "-s"; "let a = " |] |> testSnippet ReturnCode.COMPILATION_ERRORS
+    [| "-s"; "let a = " |] |> testSnippet ReturnCode.CompilationErrors
 
 
 [<Fact>]
@@ -44,7 +44,7 @@ let ``one valid file`` () =
         "--verbosity"
         "Diagnostic"
     |]
-    |> testInput ReturnCode.SUCCESS
+    |> testInput ReturnCode.Success
 
 [<Fact>]
 let ``multiple valid file`` () =
@@ -53,13 +53,13 @@ let ``multiple valid file`` () =
         ("TestCases", "General.qs") |> Path.Combine
         ("TestCases", "LinkingTests", "Core.qs") |> Path.Combine
     |]
-    |> testInput ReturnCode.SUCCESS
+    |> testInput ReturnCode.Success
 
 
 [<Fact>]
 let ``one invalid file`` () =
     [| "-i"; ("TestCases", "TypeChecking.qs") |> Path.Combine |]
-    |> testInput ReturnCode.COMPILATION_ERRORS
+    |> testInput ReturnCode.CompilationErrors
 
 
 [<Fact>]
@@ -69,39 +69,39 @@ let ``mixed files`` () =
         ("TestCases", "LinkingTests", "Core.qs") |> Path.Combine
         ("TestCases", "TypeChecking.qs") |> Path.Combine
     |]
-    |> testInput ReturnCode.COMPILATION_ERRORS
+    |> testInput ReturnCode.CompilationErrors
 
 
 [<Fact>]
 let ``missing file`` () =
-    [| "-i"; ("TestCases", "NonExistent.qs") |> Path.Combine |] |> testInput ReturnCode.UNRESOLVED_FILES
+    [| "-i"; ("TestCases", "NonExistent.qs") |> Path.Combine |] |> testInput ReturnCode.UnresolvedFiles
 
     [|
         "-i"
         ("TestCases", "LinkingTests", "Core.qs") |> Path.Combine
         ("TestCases", "NonExistent.qs") |> Path.Combine
     |]
-    |> testInput ReturnCode.UNRESOLVED_FILES
+    |> testInput ReturnCode.UnresolvedFiles
 
 
 [<Fact>]
 let ``invalid argument`` () =
     [| "-i"; ("TestCases", "General.qs") |> Path.Combine; "--foo" |]
-    |> testInput ReturnCode.INVALID_ARGUMENTS
+    |> testInput ReturnCode.InvalidArguments
 
 
 [<Fact>]
 let ``missing verb`` () =
     let args = [| "-i"; ("TestCases", "General.qs") |> Path.Combine |]
     let result = Program.Main args
-    Assert.Equal(ReturnCode.INVALID_ARGUMENTS, result)
+    Assert.Equal(ReturnCode.InvalidArguments, result)
 
 
 [<Fact>]
 let ``invalid verb`` () =
     let args = [| "foo"; "-i"; ("TestCases", "General.qs") |> Path.Combine |]
     let result = Program.Main args
-    Assert.Equal(ReturnCode.INVALID_ARGUMENTS, result)
+    Assert.Equal(ReturnCode.InvalidArguments, result)
 
 
 [<Fact>]
@@ -117,7 +117,7 @@ let ``diagnose outputs`` () =
         |]
 
     let result = Program.Main args
-    Assert.Equal(ReturnCode.INVALID_ARGUMENTS, result)
+    Assert.Equal(ReturnCode.InvalidArguments, result)
 
 
 [<Fact>]
@@ -138,7 +138,7 @@ let ``options from response files`` () =
         |]
 
     let result = Program.Main commandLineArgs
-    Assert.Equal(ReturnCode.SUCCESS, result)
+    Assert.Equal(ReturnCode.Success, result)
 
 
 [<Fact>]
diff --git a/src/QsCompiler/Tests.LanguageServer/ProjectLoaderTests.cs b/src/QsCompiler/Tests.LanguageServer/ProjectLoaderTests.cs
index 562030ff8e..077dd99fee 100644
--- a/src/QsCompiler/Tests.LanguageServer/ProjectLoaderTests.cs
+++ b/src/QsCompiler/Tests.LanguageServer/ProjectLoaderTests.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/Tests.LanguageServer/TestInput.cs b/src/QsCompiler/Tests.LanguageServer/TestInput.cs
index 4e4053916b..61b82b720a 100644
--- a/src/QsCompiler/Tests.LanguageServer/TestInput.cs
+++ b/src/QsCompiler/Tests.LanguageServer/TestInput.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/Tests.LanguageServer/TestSetup.cs b/src/QsCompiler/Tests.LanguageServer/TestSetup.cs
index 4ee4cbd245..e31eda192f 100644
--- a/src/QsCompiler/Tests.LanguageServer/TestSetup.cs
+++ b/src/QsCompiler/Tests.LanguageServer/TestSetup.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/Tests.LanguageServer/TestUtils.cs b/src/QsCompiler/Tests.LanguageServer/TestUtils.cs
index 3c8163e905..ebd7dcafaa 100644
--- a/src/QsCompiler/Tests.LanguageServer/TestUtils.cs
+++ b/src/QsCompiler/Tests.LanguageServer/TestUtils.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -89,7 +89,7 @@ internal static ExecuteCommandParams ServerCommand(string command, params object
             new ExecuteCommandParams { Command = command, Arguments = args };
 
         // does not modify range
-        internal static int GetRangeLength(VisualStudio.LanguageServer.Protocol.Range range, IReadOnlyList<string> content)
+        internal static int GetRangeLength(Range range, IReadOnlyList<string> content)
         {
             Assert.IsTrue(IsValidRange(range));
             if (range.Start.Line == range.End.Line)
diff --git a/src/QsCompiler/Tests.LanguageServer/Tests.LanguageServer.csproj b/src/QsCompiler/Tests.LanguageServer/Tests.LanguageServer.csproj
index b0c6a44f06..ba88b76c19 100644
--- a/src/QsCompiler/Tests.LanguageServer/Tests.LanguageServer.csproj
+++ b/src/QsCompiler/Tests.LanguageServer/Tests.LanguageServer.csproj
@@ -19,7 +19,6 @@
     <PackageReference Include="Microsoft.VisualStudio.LanguageServer.Client" Version="16.3.57" />
     <PackageReference Include="MSTest.TestAdapter" Version="2.0.0" />
     <PackageReference Include="MSTest.TestFramework" Version="2.0.0" />
-    <PackageReference Include="StyleCop.Analyzers" Version="1.2.0-beta.164" PrivateAssets="All" />
     <PackageReference Include="System.IO.Pipes" Version="4.3.0" />
   </ItemGroup>
 
@@ -43,8 +42,4 @@
   <ItemGroup>
     <Compile Include="..\..\Common\DelaySign.cs" Link="DelaySign.cs" />
   </ItemGroup>
-
-  <ItemGroup>
-    <AdditionalFiles Include="..\..\Common\stylecop.json" Link="stylecop.json" />
-  </ItemGroup>
 </Project>
diff --git a/src/QsCompiler/Tests.LanguageServer/Tests.cs b/src/QsCompiler/Tests.LanguageServer/Tests.cs
index b5644cd652..b7bfe4f3a5 100644
--- a/src/QsCompiler/Tests.LanguageServer/Tests.cs
+++ b/src/QsCompiler/Tests.LanguageServer/Tests.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/Transformations/Attributes.cs b/src/QsCompiler/Transformations/Attributes.cs
index 48cddd323d..d86fdc07d8 100644
--- a/src/QsCompiler/Transformations/Attributes.cs
+++ b/src/QsCompiler/Transformations/Attributes.cs
@@ -1,4 +1,7 @@
-using System;
+// Copyright (c) Microsoft Corporation.
+// Licensed under the MIT License.
+
+using System;
 using System.Collections.Generic;
 using System.Collections.Immutable;
 using System.Linq;
diff --git a/src/QsCompiler/Transformations/BasicTransformations.cs b/src/QsCompiler/Transformations/BasicTransformations.cs
index 2f913336f2..7ed7e457a7 100644
--- a/src/QsCompiler/Transformations/BasicTransformations.cs
+++ b/src/QsCompiler/Transformations/BasicTransformations.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -221,9 +221,10 @@ public SelectByFoldingOverExpressions(Func<TypedExpression, bool> condition, Fun
         // helper classes
 
         public class StatementTransformation<TSelector>
-        : Core.StatementTransformation<TransformationState> where TSelector : SelectByFoldingOverExpressions
+        : Core.StatementTransformation<TransformationState>
+            where TSelector : SelectByFoldingOverExpressions
         {
-            protected TSelector? SubSelector;
+            protected TSelector? subSelector;
             protected readonly Func<TransformationState, TSelector> CreateSelector;
 
             /// <summary>
@@ -237,12 +238,12 @@ public StatementTransformation(Func<TransformationState, TSelector> createSelect
             /// <inheritdoc/>
             public override QsStatement OnStatement(QsStatement stm)
             {
-                this.SubSelector = this.CreateSelector(this.SharedState);
-                var loc = this.SubSelector.Statements.OnLocation(stm.Location);
-                var stmKind = this.SubSelector.StatementKinds.OnStatementKind(stm.Statement);
-                var varDecl = this.SubSelector.Statements.OnLocalDeclarations(stm.SymbolDeclarations);
+                this.subSelector = this.CreateSelector(this.SharedState);
+                var loc = this.subSelector.Statements.OnLocation(stm.Location);
+                var stmKind = this.subSelector.StatementKinds.OnStatementKind(stm.Statement);
+                var varDecl = this.subSelector.Statements.OnLocalDeclarations(stm.SymbolDeclarations);
                 this.SharedState.FoldResult = this.SharedState.ConstructFold(
-                    this.SharedState.FoldResult, this.SubSelector.SharedState.FoldResult);
+                    this.SharedState.FoldResult, this.subSelector.SharedState.FoldResult);
                 return new QsStatement(stmKind, varDecl, loc, stm.Comments);
             }
 
@@ -255,7 +256,7 @@ public override QsScope OnScope(QsScope scope)
                     // StatementKind.Transform sets a new Subselector that walks all expressions contained in statement,
                     // and sets its satisfiesCondition to true if one of them satisfies the condition given on initialization
                     var transformed = this.OnStatement(statement);
-                    if (this.SubSelector?.SharedState.SatisfiesCondition ?? false)
+                    if (this.subSelector?.SharedState.SatisfiesCondition ?? false)
                     {
                         statements.Add(transformed);
                     }
@@ -305,7 +306,8 @@ public SelectByAllContainedExpressions(Func<TypedExpression, bool> condition, bo
     /// The transformation itself merely walks expressions and rebuilding is disabled.
     /// </summary>
     public class FoldOverExpressions<TState, TResult>
-    : ExpressionTransformation<TState> where TState : FoldOverExpressions<TState, TResult>.IFoldingState
+    : ExpressionTransformation<TState>
+        where TState : FoldOverExpressions<TState, TResult>.IFoldingState
     {
         public interface IFoldingState
         {
diff --git a/src/QsCompiler/Transformations/CallGraph/CallGraphWalker.cs b/src/QsCompiler/Transformations/CallGraph/CallGraphWalker.cs
index ab0664ecd2..ca59f0efd1 100644
--- a/src/QsCompiler/Transformations/CallGraph/CallGraphWalker.cs
+++ b/src/QsCompiler/Transformations/CallGraph/CallGraphWalker.cs
@@ -16,7 +16,6 @@ namespace Microsoft.Quantum.QsCompiler.Transformations.CallGraphWalker
     using ExpressionKind = QsExpressionKind<TypedExpression, Identifier, ResolvedType>;
     using GraphBuilder = CallGraphBuilder<CallGraphNode, CallGraphEdge>;
     using Range = DataTypes.Range;
-    using TypeParameterResolutions = ImmutableDictionary<Tuple<QsQualifiedName, string>, ResolvedType>;
 
     internal static partial class BuildCallGraph
     {
@@ -96,7 +95,8 @@ public static void PopulateTrimmedGraph(GraphBuilder graph, QsCompilation compil
 
             private class BuildGraph : SyntaxTreeTransformation<TransformationState>
             {
-                public BuildGraph(GraphBuilder graph) : base(new TransformationState(graph))
+                public BuildGraph(GraphBuilder graph)
+                    : base(new TransformationState(graph))
                 {
                     this.Namespaces = new NamespaceWalker(this);
                     this.Statements = new CallGraphWalkerBase<GraphBuilder, CallGraphNode, CallGraphEdge>.StatementWalker<TransformationState>(this);
@@ -112,7 +112,8 @@ private class TransformationState : CallGraphWalkerBase<GraphBuilder, CallGraphN
                 // Flag indicating if the call graph is being limited to only include callables that are related to entry points.
                 internal bool WithTrimming = false;
 
-                internal TransformationState(GraphBuilder graph) : base(graph)
+                internal TransformationState(GraphBuilder graph)
+                    : base(graph)
                 {
                 }
 
@@ -150,7 +151,8 @@ internal override void AddDependency(QsQualifiedName identifier)
 
             private class NamespaceWalker : NamespaceTransformation<TransformationState>
             {
-                public NamespaceWalker(SyntaxTreeTransformation<TransformationState> parent) : base(parent, TransformationOptions.NoRebuild)
+                public NamespaceWalker(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent, TransformationOptions.NoRebuild)
                 {
                 }
 
@@ -168,7 +170,8 @@ public override QsCallable OnCallableDeclaration(QsCallable c)
 
             private class ExpressionKindWalker : ExpressionKindTransformation<TransformationState>
             {
-                public ExpressionKindWalker(SyntaxTreeTransformation<TransformationState> parent) : base(parent, TransformationOptions.NoRebuild)
+                public ExpressionKindWalker(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent, TransformationOptions.NoRebuild)
                 {
                 }
 
diff --git a/src/QsCompiler/Transformations/CallGraph/CallGraphWalkerBase.cs b/src/QsCompiler/Transformations/CallGraph/CallGraphWalkerBase.cs
index 35183c6a25..24c3cef84e 100644
--- a/src/QsCompiler/Transformations/CallGraph/CallGraphWalkerBase.cs
+++ b/src/QsCompiler/Transformations/CallGraph/CallGraphWalkerBase.cs
@@ -48,7 +48,8 @@ internal TransformationState(TGraph graph)
             public class StatementWalker<TState> : StatementTransformation<TState>
                 where TState : TransformationState
             {
-                public StatementWalker(SyntaxTreeTransformation<TState> parent) : base(parent, TransformationOptions.NoRebuild)
+                public StatementWalker(SyntaxTreeTransformation<TState> parent)
+                    : base(parent, TransformationOptions.NoRebuild)
                 {
                 }
 
@@ -65,7 +66,8 @@ public override QsStatement OnStatement(QsStatement stm)
             public class ExpressionWalker<TState> : ExpressionTransformation<TState>
                 where TState : TransformationState
             {
-                public ExpressionWalker(SyntaxTreeTransformation<TState> parent) : base(parent, TransformationOptions.NoRebuild)
+                public ExpressionWalker(SyntaxTreeTransformation<TState> parent)
+                    : base(parent, TransformationOptions.NoRebuild)
                 {
                 }
 
diff --git a/src/QsCompiler/Transformations/CallGraph/ConcreteCallGraph.cs b/src/QsCompiler/Transformations/CallGraph/ConcreteCallGraph.cs
index 61c7e14198..9835e084fc 100644
--- a/src/QsCompiler/Transformations/CallGraph/ConcreteCallGraph.cs
+++ b/src/QsCompiler/Transformations/CallGraph/ConcreteCallGraph.cs
@@ -4,7 +4,6 @@
 using System;
 using System.Collections.Immutable;
 using System.Linq;
-using Microsoft.Quantum.QsCompiler.DataTypes;
 using Microsoft.Quantum.QsCompiler.SyntaxTree;
 using Microsoft.Quantum.QsCompiler.Transformations.CallGraphWalker;
 
@@ -46,7 +45,8 @@ public sealed class ConcreteCallGraphNode : CallGraphNodeBase, IEquatable<Concre
         /// Constructor for ConcreteCallGraphNode objects.
         /// Strips position info from the given type parameter resolutions.
         /// </summary>
-        public ConcreteCallGraphNode(QsQualifiedName callableName, QsSpecializationKind kind, TypeParameterResolutions paramResolutions) : base(callableName)
+        public ConcreteCallGraphNode(QsQualifiedName callableName, QsSpecializationKind kind, TypeParameterResolutions paramResolutions)
+            : base(callableName)
         {
             this.Kind = kind;
 
diff --git a/src/QsCompiler/Transformations/CallGraph/ConcreteCallGraphWalker.cs b/src/QsCompiler/Transformations/CallGraph/ConcreteCallGraphWalker.cs
index b0df74b2ec..eba02247ab 100644
--- a/src/QsCompiler/Transformations/CallGraph/ConcreteCallGraphWalker.cs
+++ b/src/QsCompiler/Transformations/CallGraph/ConcreteCallGraphWalker.cs
@@ -156,7 +156,8 @@ private static QsSpecialization GetSpecializationFromRequest(ConcreteCallGraphNo
 
             private class BuildGraph : SyntaxTreeTransformation<TransformationState>
             {
-                public BuildGraph(ConcreteGraphBuilder graph) : base(new TransformationState(graph))
+                public BuildGraph(ConcreteGraphBuilder graph)
+                    : base(new TransformationState(graph))
                 {
                     this.Namespaces = new NamespaceWalker(this);
                     this.Statements = new CallGraphWalkerBase<ConcreteGraphBuilder, ConcreteCallGraphNode, ConcreteCallGraphEdge>.StatementWalker<TransformationState>(this);
@@ -175,7 +176,8 @@ private class TransformationState : CallGraphWalkerBase<ConcreteGraphBuilder, Co
                 public Func<QsQualifiedName, IEnumerable<QsSpecializationKind>> GetSpecializationKinds = _ => Enumerable.Empty<QsSpecializationKind>();
                 private Range lastReferenceRange = Range.Zero; // This is used if a self-inverse generator directive is encountered.
 
-                internal TransformationState(ConcreteGraphBuilder graph) : base(graph)
+                internal TransformationState(ConcreteGraphBuilder graph)
+                    : base(graph)
                 {
                 }
 
@@ -276,7 +278,8 @@ private void AddEdge(QsQualifiedName identifier, QsSpecializationKind kind, Type
 
             private class NamespaceWalker : NamespaceTransformation<TransformationState>
             {
-                public NamespaceWalker(SyntaxTreeTransformation<TransformationState> parent) : base(parent, TransformationOptions.NoRebuild)
+                public NamespaceWalker(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent, TransformationOptions.NoRebuild)
                 {
                 }
 
@@ -313,7 +316,8 @@ public override QsGeneratorDirective OnGeneratedImplementation(QsGeneratorDirect
 
             private class ExpressionKindWalker : ExpressionKindTransformation<TransformationState>
             {
-                public ExpressionKindWalker(SyntaxTreeTransformation<TransformationState> parent) : base(parent, TransformationOptions.NoRebuild)
+                public ExpressionKindWalker(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent, TransformationOptions.NoRebuild)
                 {
                 }
 
diff --git a/src/QsCompiler/Transformations/ClassicallyControlled.cs b/src/QsCompiler/Transformations/ClassicallyControlled.cs
index 4550a04ea6..839a5dcd93 100644
--- a/src/QsCompiler/Transformations/ClassicallyControlled.cs
+++ b/src/QsCompiler/Transformations/ClassicallyControlled.cs
@@ -40,7 +40,8 @@ private class RestructureConditions : SyntaxTreeTransformation
             public static QsCompilation Apply(QsCompilation compilation) =>
                 new RestructureConditions().OnCompilation(compilation);
 
-            private RestructureConditions() : base()
+            private RestructureConditions()
+                : base()
             {
                 this.Namespaces = new NamespaceTransformation(this);
                 this.Statements = new StatementTransformation(this);
@@ -50,7 +51,8 @@ private RestructureConditions() : base()
 
             private class NamespaceTransformation : Core.NamespaceTransformation
             {
-                public NamespaceTransformation(SyntaxTreeTransformation parent) : base(parent)
+                public NamespaceTransformation(SyntaxTreeTransformation parent)
+                    : base(parent)
                 {
                 }
 
@@ -59,11 +61,12 @@ public NamespaceTransformation(SyntaxTreeTransformation parent) : base(parent)
 
             private class StatementTransformation : Core.StatementTransformation
             {
-                public StatementTransformation(SyntaxTreeTransformation parent) : base(parent)
+                public StatementTransformation(SyntaxTreeTransformation parent)
+                    : base(parent)
                 {
                 }
 
-                #region Condition Reshaping Logic
+                // Condition Reshaping Logic
 
                 /// <summary>
                 /// Converts if-elif-else structures to nested if-else structures.
@@ -227,8 +230,6 @@ private QsStatement ReshapeConditional(QsStatement statement)
                     return statement;
                 }
 
-                #endregion
-
                 public override QsScope OnScope(QsScope scope)
                 {
                     var parentSymbols = this.OnLocalDeclarations(scope.KnownSymbols);
@@ -268,7 +269,8 @@ public TransformationState(QsCompilation compilation)
                 }
             }
 
-            private ConvertConditions(QsCompilation compilation) : base(new TransformationState(compilation))
+            private ConvertConditions(QsCompilation compilation)
+                : base(new TransformationState(compilation))
             {
                 this.Namespaces = new NamespaceTransformation(this);
                 this.Statements = new StatementTransformation(this);
@@ -278,7 +280,8 @@ private ConvertConditions(QsCompilation compilation) : base(new TransformationSt
 
             private class NamespaceTransformation : NamespaceTransformation<TransformationState>
             {
-                public NamespaceTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public NamespaceTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
@@ -287,7 +290,8 @@ public NamespaceTransformation(SyntaxTreeTransformation<TransformationState> par
 
             private class StatementTransformation : StatementTransformation<TransformationState>
             {
-                public StatementTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public StatementTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
@@ -366,7 +370,7 @@ private TypedExpression CreateValueTupleExpression(params TypedExpression[] expr
                         new InferredExpressionInformation(false, expressions.Any(exp => exp.InferredInformation.HasLocalQuantumDependency)),
                         QsNullable<Range>.Null);
 
-                #region Condition Converting Logic
+                // Condition Converting Logic
 
                 /// <summary>
                 /// Creates an operation call from the conditional control API, given information
@@ -644,9 +648,7 @@ private QsStatement ConvertConditionalToControlCall(QsStatement statement)
                     }
                 }
 
-                #endregion
-
-                #region Condition Checking Logic
+                // Condition Checking Logic
 
                 /// <summary>
                 /// Checks if the statement is a condition statement that only has one conditional block in it (default blocks are optional).
@@ -761,8 +763,6 @@ private bool IsConditionedOnResultInequalityExpression(
                     return false;
                 }
 
-                #endregion
-
                 public override QsScope OnScope(QsScope scope)
                 {
                     var parentSymbols = this.OnLocalDeclarations(scope.KnownSymbols);
@@ -839,14 +839,16 @@ internal class TransformationState : ContentLifting.LiftContent.TransformationSt
                 internal bool IsConditionLiftable = false;
             }
 
-            public LiftContent() : base(new TransformationState())
+            public LiftContent()
+                : base(new TransformationState())
             {
                 this.StatementKinds = new StatementKindTransformation(this);
             }
 
             private new class StatementKindTransformation : ContentLifting.LiftContent<TransformationState>.StatementKindTransformation
             {
-                public StatementKindTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public StatementKindTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
diff --git a/src/QsCompiler/Transformations/CodeTransformations.cs b/src/QsCompiler/Transformations/CodeTransformations.cs
index 7e9f6d0eba..6162120319 100644
--- a/src/QsCompiler/Transformations/CodeTransformations.cs
+++ b/src/QsCompiler/Transformations/CodeTransformations.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/Transformations/Conjugations.cs b/src/QsCompiler/Transformations/Conjugations.cs
index 35df51eee7..88906b0d24 100644
--- a/src/QsCompiler/Transformations/Conjugations.cs
+++ b/src/QsCompiler/Transformations/Conjugations.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/Transformations/ContentLifting.cs b/src/QsCompiler/Transformations/ContentLifting.cs
index db892bfda9..8a62ca48d4 100644
--- a/src/QsCompiler/Transformations/ContentLifting.cs
+++ b/src/QsCompiler/Transformations/ContentLifting.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -367,7 +367,8 @@ private UpdateGeneratedOp(ImmutableArray<LocalVariableDeclaration<string>> param
 
             private class ExpressionTransformation : ExpressionTransformation<TransformationState>
             {
-                public ExpressionTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public ExpressionTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
@@ -404,7 +405,8 @@ public override TypedExpression OnTypedExpression(TypedExpression ex)
 
             private class ExpressionKindTransformation : ExpressionKindTransformation<TransformationState>
             {
-                public ExpressionKindTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public ExpressionKindTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
@@ -427,7 +429,8 @@ public override ExpressionKind OnIdentifier(Identifier sym, QsNullable<Immutable
 
             private class TypeTransformation : TypeTransformation<TransformationState>
             {
-                public TypeTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public TypeTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
@@ -463,7 +466,8 @@ public override ResolvedTypeKind OnTypeParameter(QsTypeParameter tp)
     public class LiftContent<T> : SyntaxTreeTransformation<T>
         where T : LiftContent.TransformationState
     {
-        protected LiftContent(T state) : base(state)
+        protected LiftContent(T state)
+            : base(state)
         {
             this.Namespaces = new NamespaceTransformation(this);
             this.StatementKinds = new StatementKindTransformation(this);
@@ -474,7 +478,8 @@ protected LiftContent(T state) : base(state)
 
         protected class NamespaceTransformation : NamespaceTransformation<T>
         {
-            public NamespaceTransformation(SyntaxTreeTransformation<T> parent) : base(parent)
+            public NamespaceTransformation(SyntaxTreeTransformation<T> parent)
+                : base(parent)
             {
             }
 
@@ -537,7 +542,8 @@ public override QsNamespace OnNamespace(QsNamespace ns)
 
         protected class StatementKindTransformation : StatementKindTransformation<T>
         {
-            public StatementKindTransformation(SyntaxTreeTransformation<T> parent) : base(parent)
+            public StatementKindTransformation(SyntaxTreeTransformation<T> parent)
+                : base(parent)
             {
             }
 
@@ -586,7 +592,8 @@ public override QsStatementKind OnStatementKind(QsStatementKind kind)
 
         protected class ExpressionTransformation : ExpressionTransformation<T>
         {
-            public ExpressionTransformation(SyntaxTreeTransformation<T> parent) : base(parent)
+            public ExpressionTransformation(SyntaxTreeTransformation<T> parent)
+                : base(parent)
             {
             }
 
@@ -607,7 +614,8 @@ public override TypedExpression OnTypedExpression(TypedExpression ex)
 
         protected class ExpressionKindTransformation : ExpressionKindTransformation<T>
         {
-            public ExpressionKindTransformation(SyntaxTreeTransformation<T> parent) : base(parent)
+            public ExpressionKindTransformation(SyntaxTreeTransformation<T> parent)
+                : base(parent)
             {
             }
 
diff --git a/src/QsCompiler/Transformations/FunctorGeneration.cs b/src/QsCompiler/Transformations/FunctorGeneration.cs
index cb95ad4bac..31f5426e53 100644
--- a/src/QsCompiler/Transformations/FunctorGeneration.cs
+++ b/src/QsCompiler/Transformations/FunctorGeneration.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -305,7 +305,7 @@ public override QsScope OnScope(QsScope scope)
                 foreach (var statement in scope.Statements)
                 {
                     var transformed = this.OnStatement(statement);
-                    if (this.SubSelector?.SharedState.SatisfiesCondition ?? false)
+                    if (this.subSelector?.SharedState.SatisfiesCondition ?? false)
                     {
                         topStatements.Add(statement);
                     }
diff --git a/src/QsCompiler/Transformations/IntrinsicResolution.cs b/src/QsCompiler/Transformations/IntrinsicResolution.cs
index 06a5763846..a05a5e3384 100644
--- a/src/QsCompiler/Transformations/IntrinsicResolution.cs
+++ b/src/QsCompiler/Transformations/IntrinsicResolution.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
diff --git a/src/QsCompiler/Transformations/Monomorphization.cs b/src/QsCompiler/Transformations/Monomorphization.cs
index df9b5284ab..5e0fe2aa8e 100644
--- a/src/QsCompiler/Transformations/Monomorphization.cs
+++ b/src/QsCompiler/Transformations/Monomorphization.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -96,7 +96,7 @@ public static QsCompilation Apply(QsCompilation compilation, bool keepAllIntrins
             return ResolveGenerics.Apply(compilation, final, intrinsicCallableSet, keepAllIntrinsics);
         }
 
-        #region ResolveGenerics
+        // Resolve Generics
 
         private class ResolveGenerics : SyntaxTreeTransformation<ResolveGenerics.TransformationState>
         {
@@ -136,7 +136,8 @@ private ResolveGenerics(ILookup<string, QsCallable> namespaceCallables, Immutabl
 
             private class NamespaceTransformation : NamespaceTransformation<TransformationState>
             {
-                public NamespaceTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public NamespaceTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
@@ -165,9 +166,7 @@ public override QsNamespace OnNamespace(QsNamespace ns)
             }
         }
 
-        #endregion
-
-        #region RewriteImplementations
+        // Rewrite Implementations
 
         private static AccessModifier GetAccessModifier(ImmutableDictionary<QsQualifiedName, QsCustomType> userDefinedTypes, QsQualifiedName typeName)
         {
@@ -213,7 +212,8 @@ private ReplaceTypeParamImplementations(TypeParameterResolutions typeParams, Get
 
             private class NamespaceTransformation : NamespaceTransformation<TransformationState>
             {
-                public NamespaceTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public NamespaceTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
@@ -252,7 +252,8 @@ public override ResolvedSignature OnSignature(ResolvedSignature s)
 
             private class ExpressionTransformation : ExpressionTransformation<TransformationState>
             {
-                public ExpressionTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public ExpressionTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
@@ -265,7 +266,8 @@ public override TypeParameterResolutions OnTypeParamResolutions(TypeParameterRes
 
             private class TypeTransformation : TypeTransformation<TransformationState>
             {
-                public TypeTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public TypeTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
@@ -321,9 +323,7 @@ public override ResolvedTypeKind OnUserDefinedType(UserDefinedType udt)
             }
         }
 
-        #endregion
-
-        #region RewriteCalls
+        // Rewrite Calls
 
         private static Identifier GetConcreteIdentifier(
             Dictionary<ConcreteCallGraphNode, QsQualifiedName> concreteNames,
@@ -383,7 +383,8 @@ private ReplaceTypeParamCalls(GetConcreteIdentifierFunc getConcreteIdentifier, I
 
             private class StatementTransformation : StatementTransformation<TransformationState>
             {
-                public StatementTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public StatementTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
@@ -397,7 +398,8 @@ public override QsStatement OnStatement(QsStatement stm)
 
             private class ExpressionTransformation : ExpressionTransformation<TransformationState>
             {
-                public ExpressionTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public ExpressionTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
@@ -421,7 +423,8 @@ public override TypeParameterResolutions OnTypeParamResolutions(TypeParameterRes
 
             private class ExpressionKindTransformation : ExpressionKindTransformation<TransformationState>
             {
-                public ExpressionKindTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public ExpressionKindTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
@@ -453,7 +456,8 @@ public override QsExpressionKind<TypedExpression, Identifier, ResolvedType> OnId
 
             private class TypeTransformation : TypeTransformation<TransformationState>
             {
-                public TypeTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent)
+                public TypeTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                    : base(parent)
                 {
                 }
 
@@ -472,7 +476,5 @@ public override ResolvedTypeKind OnTypeParameter(QsTypeParameter tp)
                 }
             }
         }
-
-        #endregion
     }
 }
diff --git a/src/QsCompiler/Transformations/MonomorphizationValidation.cs b/src/QsCompiler/Transformations/MonomorphizationValidation.cs
index 33e43a639c..275ca5bf42 100644
--- a/src/QsCompiler/Transformations/MonomorphizationValidation.cs
+++ b/src/QsCompiler/Transformations/MonomorphizationValidation.cs
@@ -1,10 +1,9 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
 using System.Collections.Immutable;
 using System.Linq;
-using Microsoft.Quantum.QsCompiler.DataTypes;
 using Microsoft.Quantum.QsCompiler.SyntaxTokens;
 using Microsoft.Quantum.QsCompiler.SyntaxTree;
 using Microsoft.Quantum.QsCompiler.Transformations.Core;
@@ -33,7 +32,8 @@ public TransformationState(ImmutableHashSet<QsQualifiedName> intrinsicCallableSe
             }
         }
 
-        internal ValidateMonomorphization(ImmutableHashSet<QsQualifiedName> intrinsicCallableSet) : base(new TransformationState(intrinsicCallableSet))
+        internal ValidateMonomorphization(ImmutableHashSet<QsQualifiedName> intrinsicCallableSet)
+            : base(new TransformationState(intrinsicCallableSet))
         {
             this.Namespaces = new NamespaceTransformation(this);
             this.Statements = new StatementTransformation<TransformationState>(this, TransformationOptions.NoRebuild);
@@ -45,7 +45,8 @@ internal ValidateMonomorphization(ImmutableHashSet<QsQualifiedName> intrinsicCal
 
         private class NamespaceTransformation : NamespaceTransformation<TransformationState>
         {
-            public NamespaceTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent, TransformationOptions.NoRebuild)
+            public NamespaceTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                : base(parent, TransformationOptions.NoRebuild)
             {
             }
 
@@ -75,7 +76,8 @@ public override ResolvedSignature OnSignature(ResolvedSignature s)
 
         private class ExpressionTransformation : ExpressionTransformation<TransformationState>
         {
-            public ExpressionTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent, TransformationOptions.NoRebuild)
+            public ExpressionTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                : base(parent, TransformationOptions.NoRebuild)
             {
             }
 
@@ -93,7 +95,8 @@ public override ImmutableDictionary<Tuple<QsQualifiedName, string>, ResolvedType
 
         private class TypeTransformation : TypeTransformation<TransformationState>
         {
-            public TypeTransformation(SyntaxTreeTransformation<TransformationState> parent) : base(parent, TransformationOptions.NoRebuild)
+            public TypeTransformation(SyntaxTreeTransformation<TransformationState> parent)
+                : base(parent, TransformationOptions.NoRebuild)
             {
             }
 
diff --git a/src/QsCompiler/Transformations/Properties/AssemblyInfo.cs b/src/QsCompiler/Transformations/Properties/AssemblyInfo.cs
index 73d743a24a..7edd056c4b 100644
--- a/src/QsCompiler/Transformations/Properties/AssemblyInfo.cs
+++ b/src/QsCompiler/Transformations/Properties/AssemblyInfo.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System.Runtime.CompilerServices;
diff --git a/src/QsCompiler/Transformations/QsharpCodeOutput.cs b/src/QsCompiler/Transformations/QsharpCodeOutput.cs
index b45f26fb0e..890e0e75c4 100644
--- a/src/QsCompiler/Transformations/QsharpCodeOutput.cs
+++ b/src/QsCompiler/Transformations/QsharpCodeOutput.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -210,7 +210,7 @@ public static bool Apply(
                     var openedNS = imports[ns.Name].Where(o => o.Item2 == null).Select(o => o.Item1).ToImmutableHashSet();
                     var nsShortNames = imports[ns.Name]
                         .SelectNotNull(o => o.Item2?.Apply(item2 => (o.Item1, item2)))
-                        .ToImmutableDictionary(o => o.Item1, o => o.Item2);
+                        .ToImmutableDictionary(o => o.Item1, o => o.item2);
                     var context = new TransformationContext
                     {
                         CurrentNamespace = ns.Name,
diff --git a/src/QsCompiler/Transformations/SearchAndReplace.cs b/src/QsCompiler/Transformations/SearchAndReplace.cs
index 3c9c131dcf..24b4dd2b35 100644
--- a/src/QsCompiler/Transformations/SearchAndReplace.cs
+++ b/src/QsCompiler/Transformations/SearchAndReplace.cs
@@ -1,4 +1,4 @@
-// Copyright (c) Microsoft Corporation. All rights reserved.
+// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;
@@ -684,7 +684,8 @@ private class TypeTransformation : Core.TypeTransformation
         {
             private readonly TransformationState state;
 
-            public TypeTransformation(RenameReferences parent) : base(parent) =>
+            public TypeTransformation(RenameReferences parent)
+                : base(parent) =>
                 this.state = parent.state;
 
             public override QsTypeKind OnUserDefinedType(UserDefinedType udt) =>
@@ -698,7 +699,8 @@ private class ExpressionKindTransformation : Core.ExpressionKindTransformation
         {
             private readonly TransformationState state;
 
-            public ExpressionKindTransformation(RenameReferences parent) : base(parent) =>
+            public ExpressionKindTransformation(RenameReferences parent)
+                : base(parent) =>
                 this.state = parent.state;
 
             public override QsExpressionKind OnIdentifier(Identifier id, QsNullable<ImmutableArray<ResolvedType>> typeArgs)
@@ -715,7 +717,8 @@ private class NamespaceTransformation : Core.NamespaceTransformation
         {
             private readonly TransformationState state;
 
-            public NamespaceTransformation(RenameReferences parent) : base(parent) =>
+            public NamespaceTransformation(RenameReferences parent)
+                : base(parent) =>
                 this.state = parent.state;
 
             public override QsDeclarationAttribute OnAttribute(QsDeclarationAttribute attribute)
diff --git a/src/QsCompiler/Transformations/Transformations.csproj b/src/QsCompiler/Transformations/Transformations.csproj
index 9b2edbcd12..7325a08cbf 100644
--- a/src/QsCompiler/Transformations/Transformations.csproj
+++ b/src/QsCompiler/Transformations/Transformations.csproj
@@ -13,16 +13,8 @@
     <ProjectReference Include="..\TextProcessor\TextProcessor.fsproj" />
   </ItemGroup>
 
-  <ItemGroup>
-    <PackageReference Include="StyleCop.Analyzers" Version="1.2.0-beta.164" PrivateAssets="All" />
-  </ItemGroup>
-
   <ItemGroup>
     <Compile Include="..\..\Common\DelaySign.cs" Link="Properties\DelaySign.cs" />
     <Compile Include="..\..\Common\SigningConstants.cs" Link="Properties\SigningConstants.cs" />
   </ItemGroup>
-
-  <ItemGroup>
-    <AdditionalFiles Include="..\..\Common\stylecop.json" Link="stylecop.json" />
-  </ItemGroup>
 </Project>
diff --git a/src/QsCompiler/Transformations/TypeResolutionCombination.cs b/src/QsCompiler/Transformations/TypeResolutionCombination.cs
index cd54e754ca..92b1758e8b 100644
--- a/src/QsCompiler/Transformations/TypeResolutionCombination.cs
+++ b/src/QsCompiler/Transformations/TypeResolutionCombination.cs
@@ -97,7 +97,8 @@ private static ILookup<TypeParameterName, TypeParameterName> GetReplaceable(Type
         /// type parameter resolutions are relevant to the given expression's type parameter resolutions
         /// are considered.
         /// </summary>
-        public TypeResolutionCombination(TypedExpression expression) : this(GetTypeParameterResolutions.Apply(expression))
+        public TypeResolutionCombination(TypedExpression expression)
+            : this(GetTypeParameterResolutions.Apply(expression))
         {
         }
 
@@ -264,7 +265,8 @@ internal class TransformationState
                 public HashSet<TypeParameterName> TypeParams = new HashSet<TypeParameterName>();
             }
 
-            private GetTypeParameters() : base(new TransformationState(), TransformationOptions.NoRebuild)
+            private GetTypeParameters()
+                : base(new TransformationState(), TransformationOptions.NoRebuild)
             {
             }
 
@@ -370,7 +372,8 @@ internal class TransformationState
                 public bool InCallLike = false;
             }
 
-            private GetTypeParameterResolutions() : base(new TransformationState(), TransformationOptions.NoRebuild)
+            private GetTypeParameterResolutions()
+                : base(new TransformationState(), TransformationOptions.NoRebuild)
             {
             }
 
diff --git a/src/QsCompiler/Transformations/Utils.cs b/src/QsCompiler/Transformations/Utils.cs
index 5bc891ccd0..f41fe01337 100644
--- a/src/QsCompiler/Transformations/Utils.cs
+++ b/src/QsCompiler/Transformations/Utils.cs
@@ -1,4 +1,7 @@
-using System;
+// Copyright (c) Microsoft Corporation.
+// Licensed under the MIT License.
+
+using System;
 using System.Collections.Generic;
 using System.Linq;