Semantic atomic types for PHP