add the #typeof directive