complete autocomplete for adding logics and languages