add type inference

[sans-sense]

need to add type inference, anytime we c "prototype" evaluate the impact on types