adding type directory in gem
Merge branch 'master' of https://github.com/plum-umd/rdl
adding typesig contract check