add a locally nameless definition