Anonymous semantics

Every def (except vardef) not used in a top-level expression is an anonymous semantic, its reference will not be added to the current environment.