add else case to funapp_one. Currently have
trouble makes substitute-dots work for Assoc