Some fixes in the Verifier to make sure expressions get types.