Init: explores white spaces inside functions
Added Natural integer type; added `factors`; made everything safer