add char and mlstring as built-ins for get_type_inv
update ml_monadTheory for mlstring