Fix Criteria PHPDoc and add some strict checks

Ordering now always an array (empty if no orderings). 
FirstResult is default '0' and always int.
MaxResults is int or null (for no limit).

It is easier for external code to use.