An early experiment in typed programming for PHP