The types table needs a boolean hvm