adding cast exprs
forgot to add some files