Add types, don't assume string
Add basic thing
Rename things
Don't need bigint for now
Report back with boolean result, not void.