con_name in ConDecl is now [Located Name]
Only print as a list when it is a list of names