Read docs; reviewed general code structure; fixed typo in regions
Meeting with @eparejatobes: general design of saws; using macros for literal constraints