Clean cons resolver
Add lcsm function and resolver