add solveDs entry point, when function is partially applied, propegate lazified usage info. demote argumets to L on construction.
add solveDs entry point, when function is partially applied, propegate lazified usage info. demote argumets to L on construction.

darcs-hash:20060718053319-1a7c6-1bb659f1dfa702b22d0ebc2b2bc1e7c51c9951f4

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc