Added StrposOptimizer and unit tests.

Signed-off-by: Rack Lin <racklin@gmail.com>
Added ExplodeOptimizer and supports optional limit parameter.

Signed-off-by: Rack Lin <racklin@gmail.com>
Fixed StrposOptimizer dynamicType to 'int'.

Signed-off-by: Rack Lin <racklin@gmail.com>