add interpreter data structures, expand on types.