replace usage of Demarcate with FreeT, total change of API
update ABT example with API changes