block matrix constructor; better implicit conversions of tuples to vectors; making tuple to Rep conversions explicit