introduce type of lexmap
rewrite slot substitution