OnlyLifted; Bool not in standard types (for now)