This an example of what I hope future code completion is like. Could use "unification" to decide if a function is the same as another.

Future Code Completion.md

UserX/OneOps.code

# {x} + 1
addOne (x) => add x 1

UserY/TenAddOne.code (before completion)

log = import log from 'console'

# {x} plus 1
addOne (value) = add x 1

log (addOne 10) # Log 10 plus 1.

UserY/TenAddOne.code (after completion)

log = import log from 'console'
addOne = import addOne from 'UserX/OneOps'
log (addOne 10) # Log 10 + 1.