Reviwed the type rules of expressions with Fabio