Add basic img property inferring
Add full support for implied names
cond-let: use % instead of x as anaphor