Title: Types in Joshua