Remove tae types. (#4500)

* Remove tae types.

One type system for all.

Removed tae types.   Moved encoding into types to reduce a cyclic
dependencies.

Most the changes are like
find . -type f -exec sed -i 's/Type_BOOL/T_bool/g' {} \;

Some mock code in tae types are moved to container types. I don't think
those clock related actually belongs to types, but kept within types so
that the rest of the code refactoring is automatic.

* go fmt.