introduce linear functions (unary, for now)