FieldAddr: bitcast pointers to the correct type
String comparisons
Let cabi handle map types
Correct typing for unsafe pointers