Some updates + type-level Booleans