* Do checking, tensor view spreading and type propagation during op construction
Better names for builtin classes
replace set_value_type with assert_value_type, which checks if type is as expected

* Review comments

* Review comments