Implement code generation for (), true and false

The type descriptors are not yet passed since they are not yet created.