elaborate typing of std_expr expression classes#1485

tautschnig merged 3 commits intodevelopdiffblue/cbmc:developfrom

std_expr_typingdiffblue/cbmc:std_expr_typingCopy head branch name to clipboard