Feel satisfied with really rudimentary type system. Can always fill it in later.