include "lib.cd"; package type; Type: Int | Bool. Int = "int". Bool = "bool". Pair = ident Type.