Text this: Discriminating Lambda-Terms Using Clocked Boehm Trees