add extension decl
add "extend" toplevel decl
magic.mox: using extend to get up to no good