Function and

and(a: Category, b: Category): Category

Discrete Logical AND:

`a` \ `b`	`undef`	`false`	`never`	`maybe`	`true`
`undef`	`undef`	`undef`	`undef`	`undef`	`undef`
`false`	`undef`	`false`	`false`	`false`	`false`
`never`	`undef`	`false`	`never`	`false`	`never`
`maybe`	`undef`	`false`	`false`	`maybe`	`maybe`
`true`	`undef`	`false`	`never`	`maybe`	`true`

Parameters

a: Category
b: Category

Returns Category