Frozen Scope in Type Logical Grammar