simpler make_term_interval() using {} for exclusive and [] for inclusive


git-svn-id: svn://oss.beweb.dbc.dk/sync_php/php/OpenLibrary/class_lib/trunk@74831 30e9dc4a-7611-4fbc-83ba-eecf79b76bd0
using {} in ranges


git-svn-id: svn://oss.beweb.dbc.dk/sync_php/php/OpenLibrary/class_lib/trunk@74841 30e9dc4a-7611-4fbc-83ba-eecf79b76bd0