Fleshing out basic types