some issues in Icarus related to string type were fixed