initial commit: function to check if return type might depend on values
Merge README and License file inited by github with initial typechecker work.