Example: map
lIn rex:
lmap(f, []) => [];
lmap(f, [A | L]) => [f(A) | map(f, L)];