got working disjunction example
added company model
removed commented code
fixed stream errors
looked at kleisli's
Modeled discovery types
messing with types