More unit tests about types
2 files changed