travis: use container based build
core: fix type inference for arguments in Phi node (fix #33)
core: fix type check for loop over iterable.