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!