BlockExpr, IfExpr and ForExpr now perform appropriately in CalcPossibleType and CalcRequiredType.
Added NilType.