 For each of these two aspects, proposals have been put forward to change the situation. One direction was to stay closer to the ideals of categorial grammar, with only type-driven rules, sometimes allowing for a restricted extension of the power of concatenation rules (see, for example, Morrill 1994, Carpenter 1998). The other approach was to incorporate in Montague grammar as much as possible the insights from syntactic theories, especially originating from the tradition of Chomsky. A first step was made by Partee (1973), who let the grammar produce structures (labelled bracketings); a syntactically sophisticated grammar (with Chomskyan movement rules) was used in the Rosetta translation project (Rosetta 1994). The influential textbook by Heim and Kratzer (1998) combined the two approaches by applying type-driven interpretation to the syntactic level of (Chomskyan) Logical Forms.