Title: A Categorial, Computational Theory of Idioms