Finite amplitude bars in mixed bedrock-alluvial channels