finished types.ml and made resedign folder
progress