Fixed lower bounds on `stm`
Added smart constructors for `Buffer`.  Fixes #26