add Map spec
add set spec