New option "types" to show types of variables
wip: Add & to the term syntax