type inference fixes
test changes from example impl attempt
update skeleton after example impl