published 'The Two Functions Of Type' and some tweaks