small draft for Ty (dynamic types) from a gist of Gabriel Scherer
build system