fix a test case
put docs in right place
describe problem with cs-gen Assoc with HMap