Simple, ready-to-use typed version of SmallF*ck esoteric language. Hightly inspired by this article.

```rust use typed_sf::; type SetTrue = Cycle>; // [<<[]>>>] // Move any-sized chunk of True's 2 cells left

[allow(noncamelcase_types)]

type prog = Cycle>>>>>>;

[allow(noncamelcase_types)]

type result = Run< prog, State>

;

assert_eq!( ::val(), (vec![true, true, false, false], false, Vec::new()) ); ```