Implement gradual typing of variables and functions with (ann ...)
Fix bug with poly-ann used on funcs with no return type set yet.
Enable gradual typing for PHP functions.