Allow names to be attached to provisional definitions
lhs ?= {name} rhs -- generates a lemma called 'name' which makes the
types of the lhs and rhs match. {name} is optional - a unique name is
generated if it is absent.
Merge branch 'master' of github.com:edwinb/Idris-dev