vm can construct base types.