20 балов за лучший ответ
какой тип должно иметь выражение, стоящее в условном операторе между словами if и then

Сам вопрос на мой взгляд не корректен, но если судить в общем, то if это сам по себе условный оператор, т.е. он проверяет некое логическое выражение и получает либо true (истина), либо false (ложь). Само же выражение, которое необходимо проверить на истиность или ложность может быть абсолютно любым: целочичленным, вещественным, логическим (bool) и т.д.