fix sort operator
make type check more strictly
fix expansion

time spec may be shifted with offset
parameter takes a list of string