adapt LTc core and tests to new types