Syntactic Logical Relations for Perfect Encryption, Higher-Order References and First-Class Channels