Add castlib as an independent library

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Move Symm and Trans back to basic_thms.cpp

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Move Symm and Trans back to basic_thms.cpp