First step on keeping state
frames expressed in types