Type prop#35

Open

Danten wants to merge 3 commits intonp:masterfrom

Danten:type_prop

Commits on May 8, 2016

start to type propagation
Danten
committed

Commits on May 9, 2016

Change TCEnv to store information for type propagation
Danten
committed

Commits on May 18, 2016

Change checkPref to take a TC Proto continuation rather than a Proto
Danten
committed