Fleshed out datatypes