diff --git a/Project.toml b/Project.toml
index bb1fc3d5..1e59b305 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
 name = "GATlab"
 uuid = "f0ffcf3b-d13a-433e-917c-cc44ccf5ead2"
 authors = ["AlgebraicJulia Developers"]
-version = "0.0.8"
+version = "0.1.0"
 
 [deps]
 AlgebraicInterfaces = "23cfdc9f-0504-424a-be1f-4892b28e2f0c"
diff --git a/src/models/ModelInterface.jl b/src/models/ModelInterface.jl
index 56b1f0d9..deb0d9ad 100644
--- a/src/models/ModelInterface.jl
+++ b/src/models/ModelInterface.jl
@@ -505,7 +505,7 @@ function make_alias_definitions(theory, theory_module, jltype_by_sort, model_typ
     for binding in segment
       alias = getvalue(binding)
       name = nameof(binding)
-      if alias isa Alias && nameof(alias.ref) ∉ ext_functions
+      if alias isa Alias && name ∉ ext_functions
         for (argsorts, method) in allmethods(theory.resolvers[alias.ref])
           args = [(gensym(), jltype_by_sort[sort]) for sort in argsorts]
           args = if oldinstance
diff --git a/src/nonstdlib/models/Pushouts.jl b/src/nonstdlib/models/Pushouts.jl
index c91376c6..5c9def88 100644
--- a/src/nonstdlib/models/Pushouts.jl
+++ b/src/nonstdlib/models/Pushouts.jl
@@ -14,7 +14,7 @@ end
 using .ThPushout 
 
 @instance ThPushout{Int, Vector{Int}, PushoutInt} [model::FinSetC] begin
-  @import Ob, Hom, id, compose, dom, codom
+  @import Ob, Hom, id, compose, dom, codom, →, ⋅
   function pushout(sp::Span; context)
     B, C = context[:d], context[:c]
     d = DataStructures.IntDisjointSets(B+C)