Readme change
Type checking now implemented