slowly shoving Error through the entire system...
onto SSAMonad
onto typecheck
onto Liquid...
everything builds after error overhaul