Several new concepts: Lucid and concordant functors, pre-limits, pre-completeness, the continuous and concordant completions of categories