Added typechecking and readme