Similar Items: Variable binding and substitution for (nameless) dummies