add bare-bones blocklisting of types during enumeration

Part of #2. No user interface yet (have to change the list in the
sources). #2 will be solved after an interface is added.

src/StabilityCheck.jl

@@ -261,14 +261,19 @@ all_subtypes(ts::Vector, scfg :: SearchCfg) = begin
     result
 end
 
+blocklist = [Function]
+
 # Auxilliary function: immediate subtypes of a tuple of types `ts`
 direct_subtypes(ts1::Vector, scfg :: SearchCfg) = begin
     if isempty(ts1)
         return []
     end
     ts = copy(ts1)
     t = pop!(ts)
-    ss_last = subtypes(t)
+    ss_last = if t ∈ blocklist
+        []
+        else subtypes(t)
+    end
     if isempty(ss_last)
         if typeof(t) == UnionAll
             ss_last = subtype_unionall(t, scfg)