more accurate treatment of context;
declare generated bounds for the sake of recdef, which has variables leaking from local context;