start working on sematic types
update README