disallow constants in pure quantum program

[Roger-luo]

This disallows constants (symbols in the IR) to be treated as constants since we don't actually have type inference here, thus we cannot be sure the symbol is a constant or not.