don't import generated completions for now
give NaBL Core a separate file ending
include Binding module
allow more scope positions in scope expressions
cannot normalise "where true" in Core
use only core generation