I-within-i Effects in a Variable Free Semantics and a Categorial Syntax