Type and end effector checking passes all tests, with everything type 1
(no heterogeneous types checked yet)