Add TODO comment
Sugar.Expression: Doesn't need expression with storeds, but just top-level stored
Replace Sugar Expression's presugaredExpression with haExprPresugared
Do not pass down the SugarInfer expression to Sugar convertors after case matching it