Added type level arithmetic and boolean logic