expand relmap def to relmap use
rename section to sec shortly
assert with lexmap