Added support to make separation logics out of function spaces from
separation algebras into separation logics.