Unroll subst and weakening rules.  Close #183.