Add type inference information to the PDG

See #23 and #34.
Update tests to accommodate type inference

See #30 and #34.