Towards invariance of algebraically closed base field

Unfinished argument...
Add some stuff to algebraization statements

Fully faithfulness was missing...
Fully faithfulness for algebraization of algebraic spaces

Same as for schemes, except that we are missing some of
the variants of the theorem of formal functions in the
case of algebraic spaces. TODO!