dictionary definitions for "corals"