Fold lava into our "better" type system as well
2 files changed