Ponder and its type system