old_contents: 
  // and :: Bool -> Bool -> Bool
  
  // or :: Bool -> Bool -> Bool
  
  // not :: Bool -> Bool
  export const not: Function = (x: any): boolean => !x
  
  // otherwise :: Bool
  export const otherwise: boolean = true
  
  // bool :: a -> a -> Bool -> a
  
new_contents: 
  // and :: Bool -> Bool -> Bool
  export const and: Function = (x: any, y: any): boolean => x && y
  
  // or :: Bool -> Bool -> Bool
  export const or: Function = (x: any, y: any): boolean => x || y
  
  // not :: Bool -> Bool
  export const not: Function = (x: any): boolean => !x
  
  // otherwise :: Bool
  export const otherwise: boolean = true
  
  // bool :: a -> a -> Bool -> a
  export const bool: Function = (x: any, y: any, p: any): any => p ? y : x
  
subject: add basic Bool functions