internal package compiles.

tweaks:
- dummy source context
- some infix twiddling in Expressions and Effects
  - had to rename some case class fields that are infixed to avoid
    override error (lhs -> _lhs, rhs -> _rhs)
- TODO(trans): refined manifest in GenericCodegen