+ TypeNode for procedure