Use more constraining types than AstConvertible when possible

[jcjaskula-aws]

Check arguments types of Program's member functions. Currently

set_phase(frame=x, phase=frame)

is allowed, which would submit a program including the OQ instruction and the corresponding AST node:

set_phase(x, frame)