* type-inference draft. conditionals.