Added some Type Inferrence Cases

Inequalities, If, andOr, Arithmentic, Not