added skeletal code for computing types, and a simple example for computing the type for the PRODUCT operator
Merge branch 'ido' of github.com:aleksandarmilicevic/alloy_ruby into ido