handle PHP's simple pseudo-types