bootstrap:t00/automagicderef: clarify expected typing