move bibliography to doc subdir
remove type annotation from record value syntax