updated syntax, fixed bug with dynamics of dup/drop with fixpoints