Removed types.php