fix types and add Agent' functions
update ABT example