/lively4-function-completion/demos/contraints