Added the base datatype and started working on the denotation function.