Added Ajani's Sunstriker
Made ViewT a newtype
instance (Monoid a, Monad m) => Monoid (ViewT m a)
instance (Monad m, Boolean a) => Boolean (ViewT m a)
class MonadView
Made types Magic and Engine newtypes