Basic function returns seem to work

Framework for unary operators is present; "not" appears to work