Derive Macro IsTop

#[derive(IsTop)]

Derives lattice IsTop.

See #[derive(Lattice)] for more info.