Language Syntax

name :: type -> type -> type -> type ...
name args =
	... \\ Statement
		where \\ bindings
	... \\ Statement
		where \\ bindings
	cond statement
		| ... -> ...
		| ... -> ...
		| OW -> ...

+--------------+
Backpropable chunk in here
+--------------+

Numpy-like indexing
{start}..{end}:{step},
[:{dim} <index things>, ...]