vars and types