Combinatory Logic wrapper module with normal form reduction utilities