minor updates to type checking and readme