Added push_type_field(). get_type_of_svalue() now gives a stricter type for mappings. Rev: src/pike_types.c:1.209