canonical agent call forms
help debug the compiler
LibertyEiffel: it looks like there is a bug in inspect expression type reckoning (in simplify)