infer types when applying functions
infer type of condition in if expr
update inference test syntax