Simple Bidirectional Type Inference