the tabernacle as a type