more work on types and readme