finally fixed a bug in tiAlt

now tiAlt checkes to make sure these won't happen
 - rigid varialbe escapes
 - polymorpic variable specialization

Not handling generalized existentials yet TODO make an example for that