Added abbrev-definitions and initialization. Ditto with pretty-lambda-mode.