added alloc (possibly wrong) and a new construct Decl. The hope is to render the Alloc Nodes unnecessary