diff --git a/src/QsCompiler/Transformations/Monomorphization.cs b/src/QsCompiler/Transformations/Monomorphization.cs
index 8469fa3a3f..2498321dd1 100644
--- a/src/QsCompiler/Transformations/Monomorphization.cs
+++ b/src/QsCompiler/Transformations/Monomorphization.cs
@@ -15,9 +15,9 @@
 
 namespace Microsoft.Quantum.QsCompiler.Transformations.Monomorphization
 {
-    using Concretion = Dictionary<Tuple<QsQualifiedName, NonNullable<string>>, ResolvedType>;
-    using GetConcreteIdentifierFunc = Func<Identifier.GlobalCallable, /*ImmutableConcretion*/ ImmutableDictionary<Tuple<QsQualifiedName, NonNullable<string>>, ResolvedType>, Identifier>;
-    using ImmutableConcretion = ImmutableDictionary<Tuple<QsQualifiedName, NonNullable<string>>, ResolvedType>;
+    using Concretization = Dictionary<Tuple<QsQualifiedName, NonNullable<string>>, ResolvedType>;
+    using GetConcreteIdentifierFunc = Func<Identifier.GlobalCallable, /*ImmutableConcretization*/ ImmutableDictionary<Tuple<QsQualifiedName, NonNullable<string>>, ResolvedType>, Identifier>;
+    using ImmutableConcretization = ImmutableDictionary<Tuple<QsQualifiedName, NonNullable<string>>, ResolvedType>;
 
     /// <summary>
     /// This transformation replaces callables with type parameters with concrete
@@ -90,7 +90,7 @@ public static QsCompilation Apply(QsCompilation compilation)
         private static Identifier GetConcreteIdentifier(
             Dictionary<ConcreteCallGraphNode, QsQualifiedName> concreteNames,
             Identifier.GlobalCallable globalCallable,
-            ImmutableConcretion types)
+            ImmutableConcretization types)
         {
             if (types.IsEmpty)
             {
@@ -182,7 +182,7 @@ public override QsNamespace OnNamespace(QsNamespace ns)
         private class ReplaceTypeParamImplementations :
             SyntaxTreeTransformation<ReplaceTypeParamImplementations.TransformationState>
         {
-            public static QsCallable Apply(QsCallable callable, ImmutableConcretion typeParams)
+            public static QsCallable Apply(QsCallable callable, ImmutableConcretization typeParams)
             {
                 var filter = new ReplaceTypeParamImplementations(typeParams);
                 return filter.Namespaces.OnCallableDeclaration(callable);
@@ -190,15 +190,15 @@ public static QsCallable Apply(QsCallable callable, ImmutableConcretion typePara
 
             public class TransformationState
             {
-                public readonly ImmutableConcretion TypeParams;
+                public readonly ImmutableConcretization TypeParams;
 
-                public TransformationState(ImmutableConcretion typeParams)
+                public TransformationState(ImmutableConcretization typeParams)
                 {
                     this.TypeParams = typeParams;
                 }
             }
 
-            private ReplaceTypeParamImplementations(ImmutableConcretion typeParams) : base(new TransformationState(typeParams))
+            private ReplaceTypeParamImplementations(ImmutableConcretization typeParams) : base(new TransformationState(typeParams))
             {
                 this.Namespaces = new NamespaceTransformation(this);
                 this.Types = new TypeTransformation(this);
@@ -254,7 +254,7 @@ public static QsCallable Apply(QsCallable current, GetConcreteIdentifierFunc get
 
             public class TransformationState
             {
-                public readonly Concretion CurrentParamTypes = new Concretion();
+                public readonly Concretization CurrentParamTypes = new Concretization();
                 public readonly GetConcreteIdentifierFunc GetConcreteIdentifier;
                 public readonly ImmutableHashSet<QsQualifiedName> IntrinsicCallableSet;
 
@@ -295,7 +295,7 @@ public override TypedExpression OnTypedExpression(TypedExpression ex)
                     return new TypedExpression(kind, typeParamResolutions, exType, inferredInfo, range);
                 }
 
-                public override ImmutableConcretion OnTypeParamResolutions(ImmutableConcretion typeParams)
+                public override ImmutableConcretization OnTypeParamResolutions(ImmutableConcretization typeParams)
                 {
                     // Merge the type params into the current dictionary
 
@@ -318,7 +318,7 @@ public override QsExpressionKind<TypedExpression, Identifier, ResolvedType> OnId
                 {
                     if (sym is Identifier.GlobalCallable global)
                     {
-                        ImmutableConcretion applicableParams = this.SharedState.CurrentParamTypes
+                        ImmutableConcretization applicableParams = this.SharedState.CurrentParamTypes
                             .Where(kvp => kvp.Key.Item1.Equals(global.Item))
                             .ToImmutableDictionary(kvp => kvp.Key, kvp => kvp.Value);