Added 'just' and updated documentation
Added justK, more INLINABLE statements, and updated documentation