refactoring
filebuffer: convenience operator>>, formatted progressive reading