a stab at typing
term sub
syncing eval with typing