Mantle 1.5

Add spec for Mantle 1.5