Minor fix in functional dependencies example

- search used the empty indexer (ixx instead of ixx')
- less restictive signature for lookupIx'
- module name
Add direct translation of TypeclassesFunDeps3 using associated types