Type System, Variables and Function Design in Motif

Basic principles for data types, scope, function contracts and secure code writing in motif language.