change Decl slightly
first stubs for records