Added basic implementation of the put_map_exact instruction, it is tested with basic testcases but needs more testing