Fork of replib. Adds monadic substitutions and Read support.