finite set biproducts
streamlined handling of maps in biproduct calculation
simplified biproduct notation
added a terminator object