stored procedures: format INTO clause properly

In SELECT statements within PL/pgSQL, INTO introduces a clause of its own. Format the queries accordingly in examples (e.g. in fn3) and sample solutions accordingly.