Change the type of the body of ProcDef from Block t to Maybe (Block t).
Retire ProcDecl constructor in Entity.
Rename ProcDef to Proc since it now entails both declarations and definitions.
Merge pull request #123 from pjonsson/merge-defdecl

Merge ProcDef and ProcDecl into Proc.