Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages (Logical Methods in Computer Science, 2006)