now using typestore from the interpreter