Fixing the typing rules of expressions after the revision with Fabio