add tests.
fixes cons binder
Bug fixes