Braids, twists, trace and duality in combinatory algebras