merge precondition message: Term or type in lib

[aryairani]

Term or type in lib

By convention, lib can only namespaces; each of these represents a library dependencies. Individual terms and types are not allowed at the top level of lib.

Alice's branch:

lib.foo : Nat
lib.foo = 1

Bob's branch:

bob : Nat
bob = 100

project/alice> merge /bob

  On project/alice, there's a type or term directly in the `lib`
  namespace, but I expected only library dependencies to be in
  there. Please remove it before merging.

---

Sorry, I wasn't able to perform the merge:

Onproject/alice, there's type or term at the top level of the lib namespace, where I only expect to find subnamespaces representing library dependencies.

Please move or remove it and then try merging again.

[aryairani]

I think this was done in #5032 also