Type propagation fix
Implement logical ops and comparisons
More manual tests