refactor(library): deep_copy procedure

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library): monotonic total order on terms

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library): remove unnecessary file

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel): finish formatter interface

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library): remove unnecessary files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library): remove unnecessary files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>