con_name in ConDecl is now [Located Name]