Moving abbreviations and bindings declarations to a other files