an enchilada dish is topped with cilantro and lime