Added rich information to terms, and dark magic which allows terms to be parsed and pretty printed
according to information in the info class. Functions can be decorated to return an Expr with a given info
term as its information, by using infobox.