forward decl checks in, type prom for func/proc arg