v0.6 - now using types to represent types...
update license and readme