add type information to dynexp during type checking