Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies (Logical Methods in Computer Science, 2019)