Fix support for boolean literals (True and False)
Introduce initial support for conditional types