Unificação intro. Contexto e problema