Initial commit of Calcuclus theory conspects.