Reject the case where a function is redeclared (or used) as a variable
Add S.CompoundStatement
Update sast.ml to annotate only the operands, not the return type
Add str_of_type to type.ml and str_of_datatype to ast.ml
S.FractionLit done
Add check_int_float that tolerates int-float conversion
Done S.ComplexLit and S.QRegLit
Add T.vartype tags to compound literals (fraction, complex, qreg). Can be either Int or Float
Annotate compound literals with operand types
Exchange check_compound_literal() and gen_s_expr(). No functional change