Check matmul types and error at compile-time if the backend doesn't support them

Check matmul types and error at compile-time if the backend doesn't support them #605