helpers for constructing programs
add show instance for assignments