[core] supported data types

We should better specify the acceptable properties of the supported data types:

• trivially copiable (or not)
• aggregate?
• ...

It is critical for the low-level memory operations. NB I'm quite unsure on how to manage less than one byte data. Actual tensor interface cannot support them.

This issue depends on #14 (moved)