A flexible PHP type hinting syntax.