Dictionary definitions on wiki

I just added a ticket requesting that some definitions be added to the wiki (so that other pages and tickets can link to them, helping to demystify jargon for those who don't specialise in specific fields). I've also included quick definitions for "predicative" and "impredicative" in the ticket, as these were asked for on the mailing list earlier and will no doubt crop up again in type system discussions. Would anyone like to act on this or contribute more definitions to the ticket while it's waiting? -- flippa@flippac.org Performance anxiety leads to premature optimisation