readme's todo updated, instanceof/marked_types, license