implemented extern function codes (prolog style arg passing does still NOT work with pyB extern functions)
also there is an open Type-chcking bug with composite expr. OR succ args
+ test