Add Type.show_origin
Add assertion