feat(library/hott): add basic HoTT definitions and theorems

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(build): compile HoTT library when building

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