Rename typedef: Char -> Term
Update python wrapper