Remove mistakes from previous commit
Constructing flat local maps with given residue field

Small improvement earlier exposition + more precision in case the
residue field extension is separable algebraic
References related to Epp's paper
Additional material for section on Epp's paper

Some of this material is wrong, will be changed etc.