Finish bidirectional type checking. On to debugging it.
Fix push application. Also use proper debug logging function for push checking.